formatting

Z3Prover · Jan 31, 2022 · f3fc6a5 · f3fc6a5
1 parent 6422b78
commit f3fc6a5
Showing 1 changed file with 2 additions and 3 deletions.
diff --git a/src/tactic/arith/lia2card_tactic.cpp b/src/tactic/arith/lia2card_tactic.cpp
@@ -216,11 +216,10 @@ class lia2card_tactic : public tactic {
             }
             // IF_VERBOSE(0, verbose_stream() << mk_pp(g->form(i), m) << "\n--->\n" << new_curr << "\n";);
             g->update(i, new_curr, new_pr, g->dep(i));
-
         }
-        for (expr* a : axioms) {
+        for (expr* a : axioms) 
             g->assert_expr(a);
-        }
+
         if (m_mc) g->add(m_mc.get());
         g->inc_depth();
         result.push_back(g.get());