Fix name collisions

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 28b13e4716f34b3e6c2b9e576a47181be20cdc1d..39b561ce386b38f6efee7a1b7dd20864cccdeffe 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -9,11 +9,12 @@ 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);
+       Table *clone(CSolver *solver, CloneMap *map);
        ~Table();
        Array<Set *> domains;
        Set *range;
-       HashSetTableEntry *entries;
-       MEMALLOC;
+       HashsetTableEntry *entries;
+       CMEMALLOC;
 };
 
 #endif