From 2a0d260c9c80c07844605fcb6844bb9cfdfeb0fd Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 1 Mar 2014 14:17:09 +0100
Subject: Canary testing absence of generic equality for KerNames

---
 lib/errors.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'lib')

diff --git a/lib/errors.ml b/lib/errors.ml
index 9df276465d..45e0f9fdf2 100644
--- a/lib/errors.ml
+++ b/lib/errors.ml
@@ -114,4 +114,5 @@ let noncritical = function
   | Sys.Break | Out_of_memory | Stack_overflow
   | Assert_failure _ | Match_failure _ | Anomaly _
   | Timeout | Drop | Quit -> false
+  | Invalid_argument "equal: functional value" -> false
   | _ -> true
-- 
cgit v1.2.3