Merge pull request #2200 from quentin/symboltable

separate symbol table interface from implementation

Author: Bernhard Scholz

src/include/souffle/CompiledSouffle.h

@@ -24,6 +24,8 @@
 #include "souffle/datastructure/BTreeDelete.h"
 #include "souffle/datastructure/Brie.h"
 #include "souffle/datastructure/EquivalenceRelation.h"
+#include "souffle/datastructure/RecordTableImpl.h"
+#include "souffle/datastructure/SymbolTableImpl.h"
 #include "souffle/datastructure/Table.h"
 #include "souffle/io/IOSystem.h"
 #include "souffle/io/WriteStream.h"