From 51251f946452407e5e948540d075468b32f81bdc Mon Sep 17 00:00:00 2001 From: Sander Spies Date: Tue, 10 Mar 2020 10:52:07 +0100 Subject: [PATCH] Remove debug text --- src/passes/1-parser/pascaligo.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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