From 3e2f36bf6de567b9dd45605e2713acf179aec5a7 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 30 Sep 2019 07:52:58 -0700
Subject: [PATCH] [pulse][trivial] change debug output of addresses to `vN`

Summary:
Having just numbers for abstract values is a tad confusing. The change
is also needed for having actual constant values later.

Reviewed By: ezgicicek

Differential Revision: D17665469

fbshipit-source-id: 20dff7bbe
---
 infer/src/pulse/PulseDomain.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/pulse/PulseDomain.ml b/infer/src/pulse/PulseDomain.ml
index b28714aa7..c3156477c 100644
--- a/infer/src/pulse/PulseDomain.ml
+++ b/infer/src/pulse/PulseDomain.ml
@@ -388,7 +388,7 @@ end = struct
     incr next_fresh ; l
 
 
-  let pp = F.pp_print_int
+  let pp f l = F.fprintf f "v%d" l
 
   let init () = next_fresh := 1