From 271ecfac2c8691b7557b318e1f25773123863be0 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Fri, 16 Jun 2017 21:51:07 -0700
Subject: [PATCH] Fix Warnings

---
 src/AST/table.c      | 1 +
 src/AST/tableentry.h | 4 ++--
 src/csolver.c        | 1 +
 3 files changed, 4 insertions(+), 2 deletions(-)

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));
-- 
2.34.1