Modification Require From

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3376 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 2 insertions, 2 deletions

diff --git a/contrib/interface/parse.ml b/contrib/interface/parse.ml
index a8d74c30e1..26026b6cd1 100644
--- a/contrib/interface/parse.ml
+++ b/contrib/interface/parse.ml
@@ -114,11 +114,11 @@ let execute_when_necessary v =
        with _ ->
 	 let l=prlist_with_sep spc pr_reference l in
 	 msgnl (str "Reinterning of " ++ l ++ str " failed"))
-  | VernacRequireFrom (_,_,name,_) ->
+  | VernacRequireFrom (_,_,f) ->
       (try 
 	Vernacentries.interp v
        with _ ->
-	 msgnl (str "Reinterning of " ++ Nameops.pr_id name ++ str " failed"))
+	 msgnl (str "Reinterning of " ++ Util.pr_str f ++ str " failed"))
   | _ -> ()); v;;
 
 let parse_to_dot =