Fix Warnings

diff --git a/src/AST/table.c b/src/AST/table.c
index 48bd532..9798d13 100644 (file)
--- a/src/AST/table.c
+++ b/src/AST/table.c
@@ -11,6 +11,7 @@ Table * allocTable(Set **domains, uint numDomain, Set * range){
         pushVectorSet(table->domains, domains[i]);
     }
     table->range =range;
+               return table;
 }
 
 void addNewTableEntry(Table* table, uint64_t* inputs, uint inputSize, uint64_t result){

diff --git a/src/AST/tableentry.h b/src/AST/tableentry.h
index fae0a3b..f81932c 100644 (file)
--- a/src/AST/tableentry.h
+++ b/src/AST/tableentry.h
@@ -14,8 +14,8 @@
 #ifndef TABLEENTRY_H
 #define TABLEENTRY_H
 
-#include "classlist.h";
-#include "mymemory.h";
+#include "classlist.h"
+#include "mymemory.h"
 struct TableEntry{
     uint64_t output;
     uint64_t inputs[];

diff --git a/src/csolver.c b/src/csolver.c
index b2ccfe7..03a0473 100644 (file)
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -5,6 +5,7 @@
 #include "boolean.h"
 #include "predicate.h"
 #include "order.h"
+#include "table.h"
 
 CSolver * allocCSolver() {
        CSolver * tmp=(CSolver *) ourmalloc(sizeof(CSolver));