From 110eda2f053224e2a2a45e74a05aec58035cb452 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Sun, 10 Feb 2019 16:58:41 -0600 Subject: [PATCH] feat: re-export exn --- src/core/Msat.ml | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/core/Msat.ml b/src/core/Msat.ml index a913e968..156da28e 100644 --- a/src/core/Msat.ml +++ b/src/core/Msat.ml @@ -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