From 870075f34dd9fa5792bfbf413afd3b96f17e76a0 Mon Sep 17 00:00:00 2001
From: Stephane Glondu <steph@glondu.net>
Date: Fri, 8 Aug 2008 13:18:42 +0200
Subject: Imported Upstream version 8.2~beta4+dfsg

---
 parsing/vernacextend.ml4 | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'parsing/vernacextend.ml4')

diff --git a/parsing/vernacextend.ml4 b/parsing/vernacextend.ml4
index d12ca098..08feb17a 100644
--- a/parsing/vernacextend.ml4
+++ b/parsing/vernacextend.ml4
@@ -8,7 +8,7 @@
 
 (*i camlp4use: "pa_extend.cmo q_MLast.cmo" i*)
 
-(* $Id: vernacextend.ml4 10091 2007-08-24 10:57:37Z herbelin $ *)
+(* $Id: vernacextend.ml4 11309 2008-08-06 10:30:35Z herbelin $ *)
 
 open Util
 open Genarg
@@ -110,7 +110,7 @@ EXTEND
   rule:
     [ [ "["; s = STRING; l = LIST0 args; "]"; "->"; "["; e = Pcaml.expr; "]"
         -> 
-      if s = "" then Util.user_err_loc (loc,"",Pp.str "Command name is empty");
+      if s = "" then Util.user_err_loc (loc,"",Pp.str"Command name is empty.");
       (s,l,<:expr< fun () -> $e$ >>)
     ] ]
   ;
-- 
cgit v1.2.3