From efd1dd57409f5b22243c443dcde959692aabd6bd Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Sat, 3 Mar 2018 14:46:12 +0000
Subject: Add empty description for @raise statements to satisfy ocamldoc

---
 engine/evd.mli     | 2 +-
 kernel/environ.mli | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/engine/evd.mli b/engine/evd.mli
index 10fdf07e72..ed3316c16d 100644
--- a/engine/evd.mli
+++ b/engine/evd.mli
@@ -321,7 +321,7 @@ exception UniversesDiffer
 val add_universe_constraints : evar_map -> Universes.Constraints.t -> evar_map
 (** Add the given universe unification constraints to the evar map.
     @raise UniversesDiffer in case a first-order unification fails.
-    @raise UniverseInconsistency
+    @raise UniverseInconsistency .
 *)
 
 (** {5 Extra data}
diff --git a/kernel/environ.mli b/kernel/environ.mli
index ce2bf85c3d..4e6ac1e725 100644
--- a/kernel/environ.mli
+++ b/kernel/environ.mli
@@ -201,7 +201,7 @@ val lookup_modtype : ModPath.t -> env -> module_type_body
 (** {5 Universe constraints } *)
 
 (** Add universe constraints to the environment.
-    @raise UniverseInconsistency
+    @raise UniverseInconsistency .
 *)
 val add_constraints : Univ.Constraint.t -> env -> env
 
-- 
cgit v1.2.3