X-Git-Url: http://demsky.eecs.uci.edu/git/?p=model-checker-benchmarks.git;a=blobdiff_plain;f=cliffc-hashtable%2Fcliffc_hashtable.h;fp=cliffc-hashtable%2Fcliffc_hashtable.h;h=876a89b1f7382a6d2902a8a7ba45dc69c9983e8c;hp=c5c251ce969ae26c2cfd752cbf721c73f0b914a5;hb=98c3f7ebd9ddbe5a64fd9c6b6408d4ad3f7b41d8;hpb=490296b2bd8de032f9424261dfdcf644d82113ab diff --git a/cliffc-hashtable/cliffc_hashtable.h b/cliffc-hashtable/cliffc_hashtable.h index c5c251c..876a89b 100644 --- a/cliffc-hashtable/cliffc_hashtable.h +++ b/cliffc-hashtable/cliffc_hashtable.h @@ -1,7 +1,6 @@ #ifndef CLIFFC_HASHTABLE_H #define CLIFFC_HASHTABLE_H -#include #include #include "stdio.h" //#include