X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=hashtable.h;h=d5c69ccba8456ad4930dcbdee93f3f5d229caca3;hb=ac8e176cd4a8756244c12dbbcaf961d27bfc8a74;hp=4d3b7de8e9a7b9e8d270b543c8dbc8315a664965;hpb=5559fb2d19eacf3dbdbbb473a83b1832491ec212;p=model-checker.git

diff --git a/hashtable.h b/hashtable.h
index 4d3b7de..d5c69cc 100644
--- a/hashtable.h
+++ b/hashtable.h
@@ -9,6 +9,7 @@
 #include <stdio.h>
 #include <string.h>
 #include "mymemory.h"
+#include "common.h"
 
 /**
  * Hashtable linked node class, for chained storage of hash table conflicts. By
@@ -161,7 +162,7 @@ template<typename _Key, typename _Val, typename _KeyInt, int _Shift=0, void * (*
 		unsigned int oldcapacity = capacity;
 
 		if((newtable = (struct hashlistnode<_Key,_Val> *) _calloc(newsize, sizeof(struct hashlistnode<_Key,_Val>))) == NULL) {
-			printf("Calloc error %s %d\n", __FILE__, __LINE__);
+			model_print("Calloc error %s %d\n", __FILE__, __LINE__);
 			exit(-1);
 		}