X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ftable.h;h=d2df3a4d62b132aa0c54762b955562b53a5d7825;hb=4c9d60b6f6c3656ba0426eaca8af69457bf56dee;hp=90f50015071d9c701c9c76310602ee0da1813de4;hpb=4b6277a81c50609abbe7b19a49e641a2d189060a;p=satune.git

diff --git a/src/AST/table.h b/src/AST/table.h
index 90f5001..d2df3a4 100644
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -10,7 +10,7 @@ struct Table {
 	VectorTableEntry entries;
 };
 
-Table * allocTable(Set **domains, uint numDomain, Set * range);
-void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result);
-void deleteTable(Table* table);
+Table * allocTable(Set ** domains, uint numDomain, Set * range);
+void addNewTableEntry(Table * This, uint64_t * inputs, uint inputSize, uint64_t result);
+void deleteTable(Table * This);
 #endif