diff options
Diffstat (limited to 'lib')
| -rwxr-xr-x | lib/codegen/src/codegen.cc | 1 |
1 files changed, 0 insertions, 1 deletions
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()) |