diff --git a/src/smt/smt_context.cpp b/src/smt/smt_context.cpp
index 535ae3b1e..37a6d32b7 100644
--- a/src/smt/smt_context.cpp
+++ b/src/smt/smt_context.cpp
@@ -37,7 +37,6 @@ Revision History:
 #include"model_pp.h"
 #include"ast_smt2_pp.h"
 #include"ast_translation.h"
-#include"theory_seq.h"
 
 namespace smt {