From 310eee17825a5e7a3293cd5d7f96fbaf3dabadab Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 31 Mar 2026 09:04:32 -0700 Subject: [PATCH] Update seq_nielsen.cpp --- src/smt/seq/seq_nielsen.cpp | 2 -- 1 file changed, 2 deletions(-) diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp index 50dbde05a..b70629ca6 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 "ast/rewriter/var_subst.h" #include "sat/smt/arith_solver.h" #include "util/statistics.h" #include @@ -4217,7 +4216,6 @@ namespace seq { st.update("nseq mod star intr", m_stats.m_mod_star_intr); st.update("nseq mod gpower intr", m_stats.m_mod_gpower_intr); st.update("nseq mod const nielsen", m_stats.m_mod_const_nielsen); - st.update("nseq mod regex unit", m_stats.m_mod_regex_unit_split); st.update("nseq mod signature split", m_stats.m_mod_signature_split); st.update("nseq mod regex var", m_stats.m_mod_regex_var_split); st.update("nseq mod regex unit", m_stats.m_mod_regex_unit_split);