New implementation for localized exceptions.

[helm.git] / helm / matita / matitacleanLib.ml

diff --git a/helm/matita/matitacleanLib.ml b/helm/matita/matitacleanLib.ml
index 82fac08af78a1a7516719a9ab78733be4e1e8e5d..a4156921d011193a36adcea08bbeafd6230c5d17 100644 (file)
--- a/helm/matita/matitacleanLib.ml
+++ b/helm/matita/matitacleanLib.ml
@@ -252,7 +252,7 @@ let baseuri_of_file file =
       with
         CicNotationParser.Parse_error _ as exn ->
           prerr_endline ("Unable to parse: " ^ file);
-          prerr_endline (MatitaExcPp.to_string exn);
+          prerr_endline (snd (MatitaExcPp.to_string exn));
           ()
     done
   with End_of_file -> close_in ic);