From 587400bc3d1fa05f0c85762f4b314c85b289d20a Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Mar 2026 09:30:48 -0700 Subject: [PATCH] Update seq_nielsen.cpp --- 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 b70629ca6..abfae8e8a 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/var_subst.h" #include "ast/rewriter/seq_skolem.h" -#include "sat/smt/arith_solver.h" #include "util/statistics.h" #include #include