From 07ceb8bb79b1531d857bf08fb5b345017b784899 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 2 Apr 2003 20:52:20 +0000
Subject: espace manquant

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

diff --git a/parsing/pptactic.ml b/parsing/pptactic.ml
index c67ce496dd..1bdd90d38a 100644
--- a/parsing/pptactic.ml
+++ b/parsing/pptactic.ml
@@ -499,7 +499,7 @@ and pr1 = function
   | TacAtom (_,t) -> pr_atom1 t
   | TacFail (0,s) -> str "Fail \"" ++ str s ++ str "\""
   | TacFail (n,"") -> str "Fail " ++ int n
-  | TacFail (n,s) -> str "Fail " ++ int n ++ str "\"" ++ str s ++ str "\""
+  | TacFail (n,s) -> str "Fail " ++ int n ++ str " \"" ++ str s ++ str "\""
   | t -> pr0 t
 
   (* Orelse tactic expressions (printed as if parsed associating on the right
-- 
cgit v1.2.3