From 0e7e6953e9ee4178d48bf7fa05a7f03d13aa4a6f Mon Sep 17 00:00:00 2001
From: Sigurd Schneider
Date: Thu, 20 Jul 2017 18:33:46 +0200
Subject: Add build_coq_or to API

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

(limited to 'API')

diff --git a/API/API.mli b/API/API.mli
index a0e77edd12..356456f735 100644
--- a/API/API.mli
+++ b/API/API.mli
@@ -2107,6 +2107,7 @@ sig
   val coq_not_ref : Globnames.global_reference lazy_t
   val coq_or_ref : Globnames.global_reference lazy_t
   val build_coq_and : Globnames.global_reference Util.delayed
+  val build_coq_or : Globnames.global_reference Util.delayed
   val build_coq_I : Globnames.global_reference Util.delayed
   val coq_reference : string -> string list -> string -> Globnames.global_reference
 end
-- 
cgit v1.2.3