diff --git a/src/sat/smt/polysat/polysat_core.cpp b/src/sat/smt/polysat/polysat_core.cpp
index 07eeaa0c1..a6ac25eda 100644
--- a/src/sat/smt/polysat/polysat_core.cpp
+++ b/src/sat/smt/polysat/polysat_core.cpp
@@ -28,7 +28,6 @@ polysat::core
 
 --*/
 
-#include "params/bv_rewriter_params.hpp"
 #include "sat/smt/polysat/polysat_core.h"
 
 namespace polysat {