From 61b0ecd4b4ef8a80b0c5efd38d45346b164c940b Mon Sep 17 00:00:00 2001
From: Alan Schmitt <alan.schmitt@polytechnique.org>
Date: Mon, 29 Feb 2016 13:54:43 +0100
Subject: [PATCH] ===

---
 generator/stdlib_ml/stdlib.mli | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/generator/stdlib_ml/stdlib.mli b/generator/stdlib_ml/stdlib.mli
index 883c174..2e10c91 100644
--- a/generator/stdlib_ml/stdlib.mli
+++ b/generator/stdlib_ml/stdlib.mli
@@ -43,7 +43,8 @@ val int_of_float : float -> int
 val string_of_float : float -> string
 val string_of_int : int -> string
 
-(*val ( === ) : 'a -> 'a -> bool*)
+(* We use this to compare types that are not known by stdlib, like Native_error *)
+val ( === ) : 'a -> 'a -> bool
 (*val ( <> ) : 'a -> 'a -> bool*)
 (*val ( < ) : 'a -> 'a -> bool
 val ( > ) : 'a -> 'a -> bool
-- 
GitLab