From: bdemsky <bdemsky@uci.edu>
Date: Sat, 17 Jun 2017 04:51:07 +0000 (-0700)
Subject: Fix Warnings
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff_plain;h=271ecfac2c8691b7557b318e1f25773123863be0

Fix Warnings
---

diff --git a/src/AST/table.c b/src/AST/table.c
index 48bd532..9798d13 100644
--- 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
--- 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
--- 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));