From a39ff701c7a88136334795d80537d89fc83b3830 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 21 Mar 2026 09:48:34 -0700 Subject: [PATCH] remove include of nielsen in sgraph Signed-off-by: Nikolaj Bjorner --- src/ast/euf/euf_sgraph.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/ast/euf/euf_sgraph.cpp b/src/ast/euf/euf_sgraph.cpp index 5fe82a966..1a22312d8 100644 --- a/src/ast/euf/euf_sgraph.cpp +++ b/src/ast/euf/euf_sgraph.cpp @@ -18,9 +18,7 @@ Author: #include "ast/euf/euf_sgraph.h" #include "ast/euf/euf_seq_plugin.h" -#include "ast/arith_decl_plugin.h" #include "ast/ast_pp.h" -#include "smt/seq/seq_nielsen.h" namespace euf {