From: acondolu <andrea.condoluci@unibo.it>
Date: Wed, 30 May 2018 16:06:14 +0000 (+0200)
Subject: Restored good check for Done
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=004af0d4267446f320a99dc9045e50c06f9a787d;p=fireball-separation.git

Restored good check for Done
---

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"
 ;;