From 13abf5c6a6dec1a364cb335f497b92593b7481fb Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Thu, 6 Sep 2018 17:49:52 -0700 Subject: [PATCH] n/a Signed-off-by: Nikolaj Bjorner --- src/sat/sat_solver.cpp | 6 ------ 1 file changed, 6 deletions(-) diff --git a/src/sat/sat_solver.cpp b/src/sat/sat_solver.cpp index 7ddc80813..065dc1d39 100644 --- a/src/sat/sat_solver.cpp +++ b/src/sat/sat_solver.cpp @@ -340,12 +340,6 @@ namespace sat { } void solver::mk_bin_clause(literal l1, literal l2, bool learned) { -#if 0 - if ((l1.var() == 2039 || l2.var() == 2039) && - (l1.var() == 27042 || l2.var() == 27042)) { - IF_VERBOSE(1, verbose_stream() << "mk_bin: " << l1 << " " << l2 << " " << learned << "\n"); - } -#endif if (find_binary_watch(get_wlist(~l1), ~l2)) { assign(l1, justification()); return;