Switch array struct to class

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

diff --git a/src/AST/table.h b/src/AST/table.h
index 240eb29ab4da0ee0cbf8a7af85512e214aff7fe1..f232615a848b63c327a3074659aab0b556282fe5 100644 (file)
--- a/src/AST/table.h
+++ b/src/AST/table.h
@@ -10,7 +10,7 @@ class Table {
        void addNewTableEntry(uint64_t *inputs, uint inputSize, uint64_t result);
        TableEntry *getTableEntry(uint64_t *inputs, uint inputSize);
        ~Table();
-       ArraySet domains;
+       Array<Set *> domains;
        Set *range;
        HashSetTableEntry *entries;
        MEMALLOC;