From 3a29016f5b73815454ce8d9a74a017857e926706 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Sat, 5 Dec 2015 10:28:09 +0100
Subject: Fixing compilation of mli documentation.

Using dummy comment to @raise to please ocamldoc. Please change MS or
PMP, if needed.
---
 engine/uState.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'engine')

diff --git a/engine/uState.mli b/engine/uState.mli
index a188a5269f..9dc96622ea 100644
--- a/engine/uState.mli
+++ b/engine/uState.mli
@@ -56,12 +56,12 @@ val context : t -> Univ.universe_context
 
 val add_constraints : t -> Univ.constraints -> t
 (**
-  @raise UniversesDiffer
+  @raise UniversesDiffer when universes differ
 *)
 
 val add_universe_constraints : t -> Universes.universe_constraints -> t
 (**
-  @raise UniversesDiffer
+  @raise UniversesDiffer when universes differ
 *)
 
 (** {5 Names} *)
-- 
cgit v1.2.3