From 7089cc926b6f45708213e70965e94513bf02f289 Mon Sep 17 00:00:00 2001
From: vsiles <vsiles@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Tue, 20 Apr 2010 11:37:55 +0000
Subject: missing space in error message

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12957 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 32de48cd7..01e83b1ad 100644
--- a/toplevel/himsg.ml
+++ b/toplevel/himsg.ml
@@ -672,7 +672,7 @@ let error_not_allowed_case_analysis isrec kind i =
 let error_not_mutual_in_scheme ind ind' =
   if ind = ind' then
     str "The inductive type " ++ pr_inductive (Global.env()) ind ++
-    str "occurs twice."
+    str " occurs twice."
   else
     str "The inductive types " ++ pr_inductive (Global.env()) ind ++ spc () ++
     str "and" ++ spc () ++ pr_inductive (Global.env()) ind' ++ spc () ++
-- 
cgit v1.2.3