X-Git-Url: http://plrg.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2FAST%2Ftableentry.h;h=63c6fdefbde96707d617eb161b82e19546179565;hb=77f9b4609b853b25543629ff3aba5cbe755e6e96;hp=44ec39ba826f473b9f6d1fb1ce2bb6fe236fd91f;hpb=5249fbe7415e60c2e0411c64031d8a60aa7cd09f;p=satune.git

diff --git a/src/AST/tableentry.h b/src/AST/tableentry.h
index 44ec39b..63c6fde 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,13 @@
 
 #include "classlist.h"
 #include "mymemory.h"
-struct TableEntry{
-    uint64_t output;
-    uint64_t inputs[];
+struct TableEntry {
+	uint64_t output;
+	uint64_t inputs[];
 };
 
 TableEntry* allocTableEntry(uint64_t* inputs, uint inputSize, uint64_t result);
 void deleteTableEntry(TableEntry* tableEntry);
 
-#endif /* TABLEENTRY_H */
+#endif/* TABLEENTRY_H */