From 1f0d1f04b704e3368a12613f31061a53a2e40d01 Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Sat, 3 Mar 2018 11:06:48 +0000
Subject: Replace invalid tag @raises in ocamldoc comments with @raise

---
 engine/evd.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine')

diff --git a/engine/evd.mli b/engine/evd.mli
index 55b8e3a832..10fdf07e72 100644
--- a/engine/evd.mli
+++ b/engine/evd.mli
@@ -320,8 +320,8 @@ exception UniversesDiffer
 
 val add_universe_constraints : evar_map -> Universes.Constraints.t -> evar_map
 (** Add the given universe unification constraints to the evar map.
-    @raises UniversesDiffer in case a first-order unification fails.
-    @raises UniverseInconsistency
+    @raise UniversesDiffer in case a first-order unification fails.
+    @raise UniverseInconsistency
 *)
 
 (** {5 Extra data}
-- 
cgit v1.2.3