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"