From 20952e84b764114c1777d347c993072eaeb9fc16 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Sat, 19 Nov 2005 17:53:18 +0000 Subject: [PATCH] Error messages improvement. --- helm/matita/matitaExcPp.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/matita/matitaExcPp.ml b/helm/matita/matitaExcPp.ml index a5a2f4d86..34da22c40 100644 --- a/helm/matita/matitaExcPp.ml +++ b/helm/matita/matitaExcPp.ml @@ -61,10 +61,10 @@ let to_string = [] -> "" | phase::tl -> aux (n+1) tl ^ - "Errors obtained during phase " ^ string_of_int n ^":\n" ^ + "** Errors obtained during phase " ^ string_of_int n ^": **\n" ^ String.concat "\n" (List.map Lazy.force phase) ^ "\n" ^ "\n" in - "DISAMBIGUATION ERROR:\n" ^ + "*** DISAMBIGUATION ERROR: ***\n" ^ aux 1 errorll | exn -> "Uncaught exception: " ^ Printexc.to_string exn -- 2.39.2