From eea95346ebccc3effd7eeb71b2b5f43b32cf3514 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 13 Feb 2019 08:52:54 -0600 Subject: [PATCH] fix: remove dead aliases --- src/smt/Sidekick_smt.ml | 3 --- 1 file changed, 3 deletions(-) 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