Fix warnings, merge, and check my code in
[satune.git] / src / AST / table.h
index 8027f88046199120915df5c2ab8f43e8e58f4d34..21e3223bed689c99c53bca19a65a2c88f1c1ce05 100644 (file)
@@ -12,5 +12,5 @@ struct Table {
 
 Table * allocTable(Set **domains, uint numDomain, Set * range);
 void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result);
-
+void deleteTable(Table* table);
 #endif