From 32888b45a8a18f1432e63f0fcc59d9c8dde4e80e Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Tue, 25 Sep 2018 18:52:15 -0700 Subject: [PATCH] chore(library/compiler/csimp): remove leftover --- src/library/compiler/csimp.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/library/compiler/csimp.cpp b/src/library/compiler/csimp.cpp index d5d842ee14..e21dc7acce 100644 --- a/src/library/compiler/csimp.cpp +++ b/src/library/compiler/csimp.cpp @@ -592,7 +592,6 @@ class csimp_fn { fvars_dep_curr, entries_dep_curr, fvars_ndep_curr, entries_ndep_curr); expr new_e = mk_let(fvars_dep_curr, entries_dep_curr, e); - tout() << ">> new_e: " << new_e << "\n"; if (optional new_e_opt = float_cases_on(fvar, val, new_e)) { e = *new_e_opt; fvars = fvars_ndep_curr;