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

feat: re-export exn

Browse source
This commit is contained in:
Simon Cruanes 2019-02-10 16:58:41 -06:00 • committed by Guillaume Bury
parent 96c4d83781
commit 110eda2f05
1 changed files with 2 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/core/Msat.ml
View file

@ -64,6 +64,8 @@ let pp_lbool out = function
| L_false -> Format.fprintf out "false"
| L_undefined -> Format.fprintf out "undefined"
exception No_proof = Solver_intf.No_proof
module Make_mcsat = Solver.Make_mcsat
module Make_cdcl_t = Solver.Make_cdcl_t
module Make_pure_sat = Solver.Make_pure_sat