simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-09 12:45:48 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix: remove dead aliases

Browse source
This commit is contained in:
Simon Cruanes 2019-02-13 08:52:54 -06:00
parent 9e5c9056d0
commit eea95346eb
1 changed files with 0 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
src/smt/Sidekick_smt.ml
View file

@ -9,10 +9,7 @@ module Term = Term
module Value = Value module Value = Value
module Term_cell = Term_cell module Term_cell = Term_cell
module Ty = Ty module Ty = Ty
module Eq_class = Eq_class
module Lit = Lit module Lit = Lit
module Explanation = Explanation
module Congruence_closure = Congruence_closure
module Theory_combine = Theory_combine module Theory_combine = Theory_combine
module Theory = Theory module Theory = Theory
module Solver = Solver module Solver = Solver