diff --git a/src/sat/base_types_.ml b/src/sat/base_types_.ml
index c1e061f0..10ab23e9 100644
--- a/src/sat/base_types_.ml
+++ b/src/sat/base_types_.ml
@@ -1,5 +1,3 @@
-open Sidekick_core
-
 (* a boolean variable (positive int) *)
 module Var0 : sig
   include Int_id.S