From a88daf246eb412f0103e937497096a2d56fbfe61 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Fri, 25 Oct 2024 23:45:14 -0700 Subject: [PATCH] fix build Signed-off-by: Nikolaj Bjorner --- src/smt/theory_sls.h | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/smt/theory_sls.h b/src/smt/theory_sls.h index 7e93a8fed..003456edd 100644 --- a/src/smt/theory_sls.h +++ b/src/smt/theory_sls.h @@ -45,9 +45,11 @@ namespace sls { #else #include "ast/sls/sls_smt_plugin.h" -class context; + namespace smt { + class context; + class theory_sls : public smt::theory, public sls::smt_context { model_ref m_model; sls::smt_plugin* m_smt_plugin = nullptr;