make compile on linux...needed string.h
[model-checker.git] / hashtable.h
index bf75928..4d3b7de 100644 (file)
@@ -7,6 +7,7 @@
 
 #include <stdlib.h>
 #include <stdio.h>
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include "mymemory.h"
 
 /**
 #include "mymemory.h"
 
 /**