From 38148932f758ee3faad2e21409ddcd483412072a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Th=C3=A9ophile=20Bastian?= Date: Thu, 15 Feb 2018 22:28:26 +0100 Subject: [PATCH] Fix pretty printer line breaks at toplevel --- src/prettify/PrettyTail.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/prettify/PrettyTail.ml b/src/prettify/PrettyTail.ml index dc59fcd..ab6d099 100644 --- a/src/prettify/PrettyTail.ml +++ b/src/prettify/PrettyTail.ml @@ -23,4 +23,4 @@ and fmt_term fmt (t: S.term) = match t with fmt_var var fmt_block block fmt_term next let show term = - Format.asprintf "%a" fmt_term term + Format.asprintf "@[%a@]" fmt_term term