model: add get_last_seq_cst_fence
[c11tester.git] / hashtable.h
index bf759285fa7899da5a40fc4bb082bdc8cfbcfd35..d5c69ccba8456ad4930dcbdee93f3f5d229caca3 100644 (file)
@@ -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);
                }