From c97aebe2b6ab027d289004d69d6f78dad58c791c Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 16 Apr 2026 04:53:39 +0200
Subject: [PATCH] remove spurious ref

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/seq/seq_nielsen.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/seq/seq_nielsen.h b/src/smt/seq/seq_nielsen.h
index 67038e294..f2e3992ee 100644
--- a/src/smt/seq/seq_nielsen.h
+++ b/src/smt/seq/seq_nielsen.h
@@ -244,7 +244,6 @@ Author:
 #include "ast/euf/euf_sgraph.h"
 #include <map>
 #include "model/model.h"
-#include "sat/smt/arith_solver.h"
 
 namespace smt {
     class enode;