From 28a9c9f8c797c78007c3df55b7f1e992a32ca8e4 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Fri, 21 Dec 2001 19:10:29 +0000
Subject: Un ++ au lieu d'un ;

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@2372 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/himsg.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/himsg.ml b/toplevel/himsg.ml
index 2582057ebf..2d93c6fd35 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -423,7 +423,7 @@ let error_ill_formed_constructor env c v =
   let pc = prterm_env env c in
   let pv = prterm_env env v in
   str "The conclusion of" ++ brk(1,1) ++ pc ++ brk(1,1) ++ 
-  str "is not valid ++" ++ brk(1,1) ++ str "it must be built from " ++ pv
+  str "is not valid;" ++ brk(1,1) ++ str "it must be built from " ++ pv
 
 let str_of_nth n =
   (string_of_int n)^
-- 
cgit v1.2.3