X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=cliffc-hashtable%2Fcliffc_hashtable.h;h=876a89b1f7382a6d2902a8a7ba45dc69c9983e8c;hb=98c3f7ebd9ddbe5a64fd9c6b6408d4ad3f7b41d8;hp=c5c251ce969ae26c2cfd752cbf721c73f0b914a5;hpb=490296b2bd8de032f9424261dfdcf644d82113ab;p=model-checker-benchmarks.git 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