From 1d77dc98d8c6a641b894dde43b5217936d4eb777 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?L=C3=A9lio=20Brun?= <lelio.brun@isae-supaero.fr>
Date: Tue, 14 Jun 2022 11:31:10 +0200
Subject: [PATCH] remove some linebreaks
---
src/backends/C/c_backend_spec.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/backends/C/c_backend_spec.ml b/src/backends/C/c_backend_spec.ml
index 28d7ef8c..86ff0c3d 100644
--- a/src/backends/C/c_backend_spec.ml
+++ b/src/backends/C/c_backend_spec.ml
@@ -1792,7 +1792,7 @@ module MainMod = struct
(fun fmt () ->
fprintf
fmt
- "%a@,%a@,%a@,%a"
+ "%a%a%a%a"
(pp_requires
(pp_or (pp_valid_read pp_stdout) (pp_equal pp_stdout pp_null)))
((), ((), ()))
--
GitLab