X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=hashtable.h;h=4d3b7de8e9a7b9e8d270b543c8dbc8315a664965;hp=bf759285fa7899da5a40fc4bb082bdc8cfbcfd35;hb=5559fb2d19eacf3dbdbbb473a83b1832491ec212;hpb=c3ad6c109b0043a010838e77e2573aa820072820;ds=inline

diff --git a/hashtable.h b/hashtable.h
index bf75928..4d3b7de 100644
--- a/hashtable.h
+++ b/hashtable.h
@@ -7,6 +7,7 @@
 
 #include <stdlib.h>
 #include <stdio.h>
+#include <string.h>
 #include "mymemory.h"
 
 /**