diff options
Diffstat (limited to 'lib/codegen/src/CG_utils.cc')
| -rwxr-xr-x | lib/codegen/src/CG_utils.cc | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/lib/codegen/src/CG_utils.cc b/lib/codegen/src/CG_utils.cc index 95f94ec..839343f 100755 --- a/lib/codegen/src/CG_utils.cc +++ b/lib/codegen/src/CG_utils.cc @@ -2607,7 +2607,6 @@ namespace omega { } Relation then_cond = find_best_guard(R, loops, start, end); - fprintf(stderr, "then_cond "); then_cond.print(stderr); assert(!then_cond.is_obvious_tautology()); Relation else_cond = Complement(copy(then_cond)); else_cond.simplify(); @@ -2640,11 +2639,7 @@ namespace omega { else if (j == i && end > j) { int new_indent = (guard_repr==NULL)?indent:indent+1; Relation new_guard = Intersection(copy(guard), copy(then_cond)); - new_guard.print(stderr); - new_guard.print_with_subs(stderr); new_guard.simplify(); - new_guard.print(stderr); - new_guard.print_with_subs(stderr); CG_outputRepr *stmt_list = loop_print_repr(active, loops, start, |