From a77bca84565b26aeedec3b210d761240d9d261f4 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Thu, 5 Dec 2013 07:55:11 +0100
Subject: Imported Upstream version 0.4

---
 coq.mli | 1 +
 1 file changed, 1 insertion(+)

(limited to 'coq.mli')

diff --git a/coq.mli b/coq.mli
index a0f2ce0..53d42eb 100644
--- a/coq.mli
+++ b/coq.mli
@@ -79,6 +79,7 @@ end
 
 module Leibniz : sig
   val eq_refl : Term.types -> Term.constr -> Term.constr
+  val eq : Term.types -> Term.constr
 end
 
 module Option : sig
-- 
cgit v1.2.3