From f902feb47834dc915f955d85923fded970e5bf86 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 26 Oct 2024 10:46:23 -0700 Subject: [PATCH] reorder inclusion order to define smt_context before theory_sls Signed-off-by: Nikolaj Bjorner --- src/smt/theory_sls.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/smt/theory_sls.cpp b/src/smt/theory_sls.cpp index a3a2d3e21..2caccee49 100644 --- a/src/smt/theory_sls.cpp +++ b/src/smt/theory_sls.cpp @@ -15,10 +15,11 @@ Author: --*/ -#include "smt/theory_sls.h" + #include "smt/smt_context.h" #include "ast/sls/sls_context.h" #include "ast/for_each_expr.h" +#include "smt/theory_sls.h" namespace smt {