Restored good check for Done

diff --git a/ocaml/andrea.ml b/ocaml/andrea.ml
index dcc954e099c2008c87a8d6b1c0d118feaa99076b..41b7372b471e12e87d7514a286b917c730fcf478 100644 (file)
--- a/ocaml/andrea.ml
+++ b/ocaml/andrea.ml
@@ -171,7 +171,7 @@ let check p sigma =
 let sanity p =\r
  print_endline (string_of_problem p); (* non cancellare *)\r
  if p.conv = B then problem_fail p "p.conv diverged";\r
- (* if p.div = B then raise (Done p.sigma); *)\r
+ if p.div = B then raise (Done p.sigma);\r
  if p.phase = `Two && p.div = delta then raise (Done p.sigma);\r
  if not (is_inert p.div) then problem_fail p "p.div converged"\r
 ;;\r