From e1ec3fd1b07fe6e6649eb1d468190d851390985a Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Wed, 17 May 2023 22:24:14 +0200
Subject: [PATCH] [printers] Add ending newline after goal formula for PyRAT.
---
src/printers/pyrat.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/printers/pyrat.ml b/src/printers/pyrat.ml
index 894c21a..fd6cf22 100644
--- a/src/printers/pyrat.ml
+++ b/src/printers/pyrat.ml
@@ -133,7 +133,7 @@ let rec print_goal_term info fmt t =
in
Fmt.pf fmt "%s%a %s %a%s" psx (print_goal_term info) t1 lop
(print_goal_term info) t2 pdx
- | _ -> if t_is_known info t then Fmt.pf fmt "%a" (print_base_term info) t
+ | _ -> if t_is_known info t then Fmt.pf fmt "%a@." (print_base_term info) t
let print_decl info fmt d =
match d.Decl.d_node with
--
GitLab