From 541d0c25458cf5ed5c0c671a4e9fd50096d271b7 Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sun, 14 Aug 2022 22:33:21 -0400
Subject: [PATCH] cleanup

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

diff --git a/src/sat/base_types_.ml b/src/sat/base_types_.ml
index 7e6843dd..e298c545 100644
--- a/src/sat/base_types_.ml
+++ b/src/sat/base_types_.ml
@@ -1,5 +1,4 @@
 open Sidekick_core
-open Sigs
 
 (* a boolean variable (positive int) *)
 module Var0 : sig