From 860bd435596d339951f4b3a139795234d436a814 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Mar 2026 16:16:53 -0700 Subject: [PATCH] remove reference to arith_solver Signed-off-by: Nikolaj Bjorner --- src/smt/seq/seq_nielsen.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp index 73b1e3858..57cf0a1d8 100644 --- a/src/smt/seq/seq_nielsen.cpp +++ b/src/smt/seq/seq_nielsen.cpp @@ -35,7 +35,6 @@ NSB review: #include "ast/rewriter/th_rewriter.h" #include "ast/rewriter/seq_skolem.h" #include "ast/rewriter/var_subst.h" -#include "sat/smt/arith_solver.h" #include "util/statistics.h" #include #include