From 10a6029c0eaa05e7cd84b8f42e4fd7f6a5071c09 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Sat, 14 Mar 2026 11:09:56 -0700 Subject: [PATCH] Remove unnecessary include for smt_context.h --- src/smt/seq/seq_model.cpp | 1 - 1 file changed, 1 deletion(-) diff --git a/src/smt/seq/seq_model.cpp b/src/smt/seq/seq_model.cpp index 3ed249d9b..951039928 100644 --- a/src/smt/seq/seq_model.cpp +++ b/src/smt/seq/seq_model.cpp @@ -19,7 +19,6 @@ Author: #include "smt/seq/seq_model.h" #include "smt/seq/seq_regex.h" #include "smt/seq/seq_state.h" -#include "smt/smt_context.h" #include "smt/smt_model_generator.h" #include "smt/proto_model/proto_model.h" #include "ast/ast_pp.h"