From 004af0d4267446f320a99dc9045e50c06f9a787d Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Wed, 30 May 2018 18:06:14 +0200
Subject: [PATCH] Restored good check for Done

---
 ocaml/andrea.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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