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