From 5337f423f49fd69a264d7a5d7dedc58aea688e64 Mon Sep 17 00:00:00 2001
From: filliatr
Date: Tue, 30 Nov 1999 09:21:00 +0000
Subject: ocamlweb

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@163 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 kernel/reduction.mli | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'kernel')

diff --git a/kernel/reduction.mli b/kernel/reduction.mli
index 9945b36cb7..a5244b6804 100644
--- a/kernel/reduction.mli
+++ b/kernel/reduction.mli
@@ -181,8 +181,8 @@ val whd_meta : (int * constr) list -> constr -> constr
 val plain_instance : (int * constr) list -> constr -> constr
 val instance : (int * constr) list -> 'a reduction_function
 
-(* whd_ise raise Uninstantiated_evar if an evar remains uninstantiated *)
-(* the '*_ise1*' leave uninstantiated evar as it *)
+(* [whd_ise] raise [Uninstantiated_evar] if an evar remains uninstantiated *)
+(* the *[_ise1]* leave uninstantiated evar as it *)
 
 exception Uninstantiated_evar of int
 
-- 
cgit v1.2.3