X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ftableentry.h;h=c85255f818e6926cf82727d957ed19df120276e4;hb=5567c0959b9e3bcdebcf3c2dfab9af3728fe25c2;hp=44ec39ba826f473b9f6d1fb1ce2bb6fe236fd91f;hpb=c507619d06bc6fbddc5fc26016be9bb47daa0ae0;p=satune.git

diff --git a/src/AST/tableentry.h b/src/AST/tableentry.h
index 44ec39b..c85255f 100644
--- a/src/AST/tableentry.h
+++ b/src/AST/tableentry.h
@@ -4,7 +4,7 @@
  * and open the template in the editor.
  */
 
-/* 
+/*
  * File:   tableentry.h
  * Author: hamed
  *
@@ -16,13 +16,14 @@
 
 #include "classlist.h"
 #include "mymemory.h"
-struct TableEntry{
-    uint64_t output;
-    uint64_t inputs[];
+struct TableEntry {
+	uint64_t output;
+	uint inputSize;
+	uint64_t inputs[];
 };
 
-TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result);
-void deleteTableEntry(TableEntry* tableEntry);
+TableEntry *allocTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
+void deleteTableEntry(TableEntry *tableEntry);
 
-#endif /* TABLEENTRY_H */
+#endif/* TABLEENTRY_H */