From a9291ddbdba31a04cf331ff9abb660f02e924e51 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 29 Jun 2021 11:28:43 +0200
Subject: [PATCH] [Eva] Eva annotation: fixes the print of a list of terms in
taint annotations.
---
src/plugins/value/utils/eva_annotations.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/utils/eva_annotations.ml b/src/plugins/value/utils/eva_annotations.ml
index 8aaefcaecca..edb72a322e6 100644
--- a/src/plugins/value/utils/eva_annotations.ml
+++ b/src/plugins/value/utils/eva_annotations.ml
@@ -174,7 +174,7 @@ struct
| _ -> assert false
let print fmt =
- Format.fprintf fmt "%a" (Pretty_utils.pp_list Printer.pp_term)
+ Format.fprintf fmt "%a" (Pretty_utils.pp_list ~sep:", " Printer.pp_term)
end
module Unroll = Register (struct
--
GitLab