X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fandrea.ml;h=41b7372b471e12e87d7514a286b917c730fcf478;hb=004af0d4267446f320a99dc9045e50c06f9a787d;hp=dcc954e099c2008c87a8d6b1c0d118feaa99076b;hpb=7c60aa45d5f4486768b6338e2e5aa411dbec8ad9;p=fireball-separation.git

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