Small edits

diff --git a/src/Backend/satencoder.c b/src/Backend/satencoder.c
index 5b5d4aacf51d352f1d0f7fe789f0ca24c25e1b3a..cd4b234c2c10325ed2ab366ca4f6b0888130a4c1 100644 (file)
--- 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 c12b7ceb8474fb0618db3364bc438d07f35615a8..f9f1e1bd534e662975a9f1eae625a74a88228ace 100644 (file)
--- 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);
 }