From e7b23d0ca917cc80e3525352e720424f574aadb9 Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Wed, 12 Oct 2016 16:10:42 -0600
Subject: anand's init code

---
 lib/codegen/src/codegen.cc | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

(limited to 'lib/codegen/src/codegen.cc')

diff --git a/lib/codegen/src/codegen.cc b/lib/codegen/src/codegen.cc
index 92ca702..0036c3e 100755
--- a/lib/codegen/src/codegen.cc
+++ b/lib/codegen/src/codegen.cc
@@ -267,15 +267,13 @@ CG_result *CodeGen::buildAST(int level, const BoolSet<> &active, bool split_on_c
               break;
       }
     }
-  
-
-
 
     for (BoolSet<>::const_iterator i = active.begin(); i != active.end() && checkForSplits; i++) {
       Relation r = Gist(copy(Rs[*i]), copy(hull), 1);
       if (r.is_obvious_tautology())
         continue;
       r = EQs_to_GEQs(r);
+      r.print();
 
       for (GEQ_Iterator e = r.single_conjunct()->GEQs(); e; e++) {
         if ((*e).has_wildcards())
-- 
cgit v1.2.3-70-g09d2