diff --git a/src/passes/1-parser/pascaligo.ml b/src/passes/1-parser/pascaligo.ml index cbbe2014c..8f0644cf7 100644 --- a/src/passes/1-parser/pascaligo.ml +++ b/src/passes/1-parser/pascaligo.ml @@ -50,7 +50,7 @@ module Errors = fun () -> Format.asprintf "%a" Location.pp_lift @@ loc)] *) let generic message = - let title () = "scofzpfj%!" + let title () = "" and message () = message.Region.value in Trace.error ~data:[] title message end