From 683a5dda377c0372f32a7aca74b4c545d74630d2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 9 Dec 2023 10:58:54 -0800
Subject: [PATCH] remove include to bv-params

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/sat/smt/polysat/polysat_core.cpp | 1 -
 1 file changed, 1 deletion(-)

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 {