From c64bebaf6f90e59d7bc22cfb40f7ed0eb6a21532 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Fri, 23 Jun 2023 21:22:55 -0400
Subject: [PATCH] fix warning

---
 src/sat/base_types_.ml | 2 --
 1 file changed, 2 deletions(-)

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