X-Git-Url: http://git.nguyen.vg/gitweb/?a=blobdiff_plain;f=src%2Fcommon_stub.hpp;h=45aa0caedb58613b858c66f86bd1a974ffc552a1;hb=eb9a6467cb0860abf57f773a82da526aedc9802a;hp=3e874b7314a428a2e67149eb14ffbe87705fd932;hpb=43501e355e50f60c34999cefe9d44e3678dfb056;p=SXSI%2Fxpathcomp.git

diff --git a/src/common_stub.hpp b/src/common_stub.hpp
index 3e874b7..45aa0ca 100644
--- a/src/common_stub.hpp
+++ b/src/common_stub.hpp
@@ -14,6 +14,7 @@ extern "C" {
 }
 #include <typeinfo>
 #include <cstdio>
+#include <cassert>
 
 #define NoAlloc
 
@@ -26,6 +27,7 @@ value alloc_custom_(char* name);
 
 template <class X> X& Obj_val(value v)
 {
+  assert(Tag_val(v) == Custom_tag);
   return * (X*) Data_custom_val(v);
 }