- "** Errors obtained during phase " ^ string_of_int n ^": **\n" ^
- String.concat "\n" (List.map Lazy.force phase) ^ "\n" ^ "\n"
+ "***** Errors obtained during phase " ^ string_of_int n ^": *****\n"^
+ String.concat "\n\n"
+ (List.map (fun msg -> "*Error: " ^ Lazy.force msg) phase) ^
+ "\n\n\n"