From 335cf2860bfd9e714d14228d75a52fd2c88db386 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin
Date: Wed, 8 Oct 2014 17:37:04 +0200
Subject: Applying Virgile Prevosto's patch for better error report in coqdep
 (#3029).

---
 tools/coqdep.ml | 7 ++++++-
 1 file changed, 6 insertions(+), 1 deletion(-)

diff --git a/tools/coqdep.ml b/tools/coqdep.ml
index a44f159b46..08c42b7eb8 100644
--- a/tools/coqdep.ml
+++ b/tools/coqdep.ml
@@ -512,4 +512,9 @@ let coqdep () =
     with e -> close_out chan; raise e
   end
 
-let _ = Printexc.catch coqdep ()
+let _ =
+  try
+    coqdep ()
+  with Errors.UserError(s,p) ->
+    let pp = if s <> "_" then Pp.(str s ++ str ": " ++ p) else p in
+    Pp.msgerrnl pp
-- 
cgit v1.2.3