printf -> model_print

[model-checker.git] / hashtable.h

diff --git a/hashtable.h b/hashtable.h
index 4d3b7de8e9a7b9e8d270b543c8dbc8315a664965..d5c69ccba8456ad4930dcbdee93f3f5d229caca3 100644 (file)
--- 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);
                }