Remove debug text

This commit is contained in:
Sander Spies 2020-03-10 10:52:07 +01:00 committed by Pierre-Emmanuel Wulfman
parent 8a183ff1d2
commit 51251f9464

View File

@ -50,7 +50,7 @@ module Errors =
fun () -> Format.asprintf "%a" Location.pp_lift @@ loc)] *) fun () -> Format.asprintf "%a" Location.pp_lift @@ loc)] *)
let generic message = let generic message =
let title () = "scofzpfj%!" let title () = ""
and message () = message.Region.value and message () = message.Region.value
in Trace.error ~data:[] title message in Trace.error ~data:[] title message
end end