X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=hashtable.h;h=d5c69ccba8456ad4930dcbdee93f3f5d229caca3;hb=84d0cd2f078f4cb15c318a0fef2515feab570375;hp=bf759285fa7899da5a40fc4bb082bdc8cfbcfd35;hpb=c3ad6c109b0043a010838e77e2573aa820072820;p=model-checker.git

diff --git a/hashtable.h b/hashtable.h
index bf75928..d5c69cc 100644
--- a/hashtable.h
+++ b/hashtable.h
@@ -7,7 +7,9 @@
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include "mymemory.h"
+#include "common.h"
 
 /**
  * Hashtable linked node class, for chained storage of hash table conflicts. By
@@ -160,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);
 		}