From c59f571299a90b26ebace3dee8ebb0ee2b70e9e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 5 Apr 2023 17:48:25 +0200
Subject: [PATCH] [Eva] Cvalue: fixes display of enumeration labels.
---
src/kernel_services/abstract_interp/cvalue.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/abstract_interp/cvalue.ml b/src/kernel_services/abstract_interp/cvalue.ml
index 06f95ec084a..31435f52e94 100644
--- a/src/kernel_services/abstract_interp/cvalue.ml
+++ b/src/kernel_services/abstract_interp/cvalue.ml
@@ -232,7 +232,7 @@ module V = struct
in
let pretty_item fmt i =
match S.find_opt i lookup_map with
- | Some ei -> Format.fprintf fmt "%s" ei.eiorig_name
+ | Some ei -> Printer.pp_varname fmt ei.eiorig_name
| None -> Format.fprintf fmt "%a" Integer.pretty i
in
Pretty_utils.pp_iter ~pre:"@[<hov 1>{" ~suf:"}@]" ~sep:";@ "
--
GitLab