Fix Warnings

diff --git a/src/AST/table.c b/src/AST/table.c
index 48bd532d52c4aade239cb49c9cc35f5cd15e00e8..9798d13562aa05f3a922629ee3c88871b94e886c 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 fae0a3b534afa3f88ba8dc021a60439ef531ba77..f81932cc46867d366ddc9c6c1abde611b9aab496 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 b2ccfe7e5cc3a938ad1d170d30262b40d62f3a84..03a0473d15c5b51ea8ce8cdaddd5333fd3169604 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));