X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=hashtable.h;h=d5c69ccba8456ad4930dcbdee93f3f5d229caca3;hb=2ca6ef09383bf8845c18bb478396da3a260da08f;hp=bf759285fa7899da5a40fc4bb082bdc8cfbcfd35;hpb=dbb1bb205f35f076cf2d82ec443415d858b22e2f;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 #include +#include #include "mymemory.h" +#include "common.h" /** * Hashtable linked node class, for chained storage of hash table conflicts. By @@ -160,7 +162,7 @@ template *) _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); }