From fc36fb115ffa782d7e55091231ce7018008ca0b7 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 2 Aug 2021 12:05:54 -0700 Subject: [PATCH] format Signed-off-by: Nikolaj Bjorner --- src/sat/tactic/goal2sat.cpp | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/src/sat/tactic/goal2sat.cpp b/src/sat/tactic/goal2sat.cpp index ddc13f06a..9be810e9d 100644 --- a/src/sat/tactic/goal2sat.cpp +++ b/src/sat/tactic/goal2sat.cpp @@ -275,7 +275,6 @@ struct goal2sat::imp : public sat::sat_internalizer { } } - void cache(app* t, sat::literal l) override { force_push(); SASSERT(!m_app2lit.contains(t)); @@ -284,8 +283,8 @@ struct goal2sat::imp : public sat::sat_internalizer { m_lit2app.insert(l.index(), t); m_cache_trail.push_back(t); } - - void convert_atom(expr * t, bool root, bool sign) { + + void convert_atom(expr * t, bool root, bool sign) { SASSERT(m.is_bool(t)); sat::literal l; sat::bool_var v = m_map.to_bool_var(t);