diff --git a/src/kernel_services/abstract_interp/cvalue.ml b/src/kernel_services/abstract_interp/cvalue.ml
index 06f95ec084af2ab1272205e8032beabfd3375aa2..31435f52e940154822a5ed8f287ba3b865d547b1 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:";@ "