From 43a22099d0f62f90306f47fa29471ca62b53eebd Mon Sep 17 00:00:00 2001
From: Tuowen Zhao <ztuowen@gmail.com>
Date: Wed, 12 Oct 2016 17:17:33 -0600
Subject: added lexical ordering
---
lib/codegen/src/codegen.cc | 1 -
1 file changed, 1 deletion(-)
(limited to 'lib/codegen')
diff --git a/lib/codegen/src/codegen.cc b/lib/codegen/src/codegen.cc
index 0036c3e..0681760 100755
--- a/lib/codegen/src/codegen.cc
+++ b/lib/codegen/src/codegen.cc
@@ -273,7 +273,6 @@ CG_result *CodeGen::buildAST(int level, const BoolSet<> &active, bool split_on_c
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