From 7b4b2dc4c80a6172692c321468edf46564ae40fb Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 27 Apr 2006 21:22:33 +0000
Subject: Message d'erreur plus informatif

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

diff --git a/contrib/xml/cic2acic.ml b/contrib/xml/cic2acic.ml
index bac7ad7c64..caace56972 100644
--- a/contrib/xml/cic2acic.ml
+++ b/contrib/xml/cic2acic.ml
@@ -64,7 +64,7 @@ let get_uri_of_var v pvars =
   in
   let rec search_in_open_sections =
    function
-      [] -> Util.error "Variable not found"
+      [] -> Util.error ("Variable "^v^" not found")
     | he::tl as modules ->
        let dirpath = N.make_dirpath modules in
         if List.mem (N.id_of_string v) (D.last_section_hyps dirpath) then
-- 
cgit v1.2.3