From 7bceaeb6d5c94786f9986cf6b7129e8aab150003 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky@uci.edu>
Date: Tue, 11 Jul 2017 19:41:14 -0700
Subject: [PATCH] Small edits

---
 src/Backend/satencoder.c | 2 ++
 src/csolver.c            | 5 ++---
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5b5d4aa..cd4b234 100644
--- a/src/Backend/satencoder.c
+++ b/src/Backend/satencoder.c
@@ -12,6 +12,8 @@
 #include "predicate.h"
 #include "set.h"
 
+//TODO: Should handle sharing of AST Nodes without recoding them a second time
+
 SATEncoder * allocSATEncoder() {
 	SATEncoder *This=ourmalloc(sizeof (SATEncoder));
 	This->varcount=1;
diff --git a/src/csolver.c b/src/csolver.c
index c12b7ce..f9f1e1b 100644
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -190,11 +190,10 @@ uint64_t getElementValue(CSolver* This, Element* element){
 	switch(GETELEMENTTYPE(element)){
 		case ELEMSET:
 			return getElementValueSATTranslator(This, element);
-			break;
 		default:
 			ASSERT(0);
 	}
-	return -1;
+	exit(-1);
 }
 
 bool getBooleanValue( CSolver* This , Boolean* boolean){
@@ -204,5 +203,5 @@ bool getBooleanValue( CSolver* This , Boolean* boolean){
 		default:
 			ASSERT(0);
 	}
-	return -1;
+	exit(-1);
 }
-- 
2.34.1