From 66d8d90ffa50901a43e876d66c221e9a5f32e5d1 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Tue, 26 Jul 2022 16:27:53 +0200
Subject: [PATCH] [ptests] fixe -end of json files

---
 tools/ptests/ptests.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/ptests/ptests.ml b/tools/ptests/ptests.ml
index 70b15a30939..fa3f15ea40e 100644
--- a/tools/ptests/ptests.ml
+++ b/tools/ptests/ptests.ml
@@ -1340,7 +1340,7 @@ let print_json_wrapper ~file wtest =
   if !verbosity >= 2 then Format.printf "%% Generates %S wrapper file...@." file;
   let wrapper_cout = open_out file in
   let wrapper_fmt = Format.formatter_of_out_channel wrapper_cout  in
-  Format.fprintf wrapper_fmt "%a@" (pp_wtest ~compacted:false) wtest;
+  Format.fprintf wrapper_fmt "%a@." (pp_wtest ~compacted:false) wtest;
   close_out wrapper_cout
 
 let oracle_target oracle_fmt dir fname =
-- 
GitLab