From 43a22099d0f62f90306f47fa29471ca62b53eebd Mon Sep 17 00:00:00 2001 From: Tuowen Zhao 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') 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