Run tabbing pass

[satune.git] / src / AST / table.h

diff --git a/src/AST/table.h b/src/AST/table.h
index f232615a848b63c327a3074659aab0b556282fe5..28b13e4716f34b3e6c2b9e576a47181be20cdc1d 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -5,7 +5,7 @@
 #include "structs.h"
 
 class Table {
- public:
+public:
        Table(Set **domains, uint numDomain, Set *range);
        void addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);