From 3761dd869a2023b091254edddbe8a556b27ebd64 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 19 Apr 2025 13:42:08 -0700 Subject: [PATCH] address build warning with overloaded virtual operators Signed-off-by: Nikolaj Bjorner --- src/sat/tactic/sat2goal.h | 1 + 1 file changed, 1 insertion(+) diff --git a/src/sat/tactic/sat2goal.h b/src/sat/tactic/sat2goal.h index 8c0b1bf83..97a85ff65 100644 --- a/src/sat/tactic/sat2goal.h +++ b/src/sat/tactic/sat2goal.h @@ -53,6 +53,7 @@ public: mc(ast_manager& m); // flush model converter from SAT solver to this structure. void flush_smc(sat::solver& s, atom2bool_var const& map); + using model_converter::operator(); void operator()(sat::model& m); void operator()(model_ref& md) override; void operator()(expr_ref& fml) override;