From 6e1da96e7e04a39bc8a5e8ceee600a892fad2e3c Mon Sep 17 00:00:00 2001
From: Simon Cruanes <simon.cruanes.2007@m4x.org>
Date: Sat, 30 Jul 2022 21:18:18 -0400
Subject: [PATCH] include solver directly in Sidekick_sat

---
 src/sat/Sidekick_sat.ml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/sat/Sidekick_sat.ml b/src/sat/Sidekick_sat.ml
index 89987049..f5f68767 100644
--- a/src/sat/Sidekick_sat.ml
+++ b/src/sat/Sidekick_sat.ml
@@ -2,3 +2,4 @@
 
 include Sigs
 module Solver = Solver
+include Solver