From 842403acdbfe9812c45bd530cf6d9fa2a62842db Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Fri, 16 May 2014 13:03:55 +0200
Subject: Another try at close_proof that should behave better w.r.t. exception
 handling.

---
 kernel/univ.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel')

diff --git a/kernel/univ.ml b/kernel/univ.ml
index 6a9f391a05..80abf5421d 100644
--- a/kernel/univ.ml
+++ b/kernel/univ.ml
@@ -2216,7 +2216,7 @@ let connected x y (g : graph) =
       LMap.fold fold neighbours seen
     else seen
   in
-  try connected x y LSet.empty g; false with Connected -> true
+  try ignore(connected x y LSet.empty g); false with Connected -> true
 
 let add_edge x y v (g : graph) =
   try
-- 
cgit v1.2.3