diff --git a/src/smt/Sidekick_smt.ml b/src/smt/Sidekick_smt.ml
index e61eee7f..9b7d9ddd 100644
--- a/src/smt/Sidekick_smt.ml
+++ b/src/smt/Sidekick_smt.ml
@@ -9,10 +9,7 @@ module Term = Term
 module Value = Value
 module Term_cell = Term_cell
 module Ty = Ty
-module Eq_class = Eq_class
 module Lit = Lit
-module Explanation = Explanation
-module Congruence_closure = Congruence_closure
 module Theory_combine = Theory_combine
 module Theory = Theory
 module Solver = Solver