X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=common.h;h=0da662aa69e80fddc5f9c383c1656a43969e6d4d;hb=ee5a8df4c176af0f01dd2c47eecb092167f663f6;hp=1570a32969a72902cd3ba5569f2413f6b709a062;hpb=d279e84ed265af079ea035d5dff49183def2c144;p=model-checker.git

diff --git a/common.h b/common.h
index 1570a32..0da662a 100644
--- a/common.h
+++ b/common.h
@@ -16,4 +16,7 @@
 void * myMalloc(size_t size);
 void myFree(void *ptr);
 
+#define userMalloc(size)	malloc(size)
+#define userFree(ptr)		free(ptr)
+
 #endif /* __COMMON_H__ */