simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2026-01-23 01:46:43 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fixed an interface omission

Browse source
This commit is contained in:
Guillaume Bury 2015-01-09 15:04:06 +01:00
parent a499d65fde
commit ff25fae192
1 changed files with 2 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
solver/mcsolver.mli
View file

@ -11,7 +11,8 @@ module Make (E : Expr_intf.S)
exception Unsat
module St : Mcsolver_types.S
with type formula = E.Formula.t
with type term = E.Term.t
and type formula = E.Formula.t
module Proof : Res.S
with type atom = St.atom