From c689d5a91edeae8ae23ee4065298dd5308299a2b Mon Sep 17 00:00:00 2001
From: Dulma Churchill <dulmarod@fb.com>
Date: Wed, 28 Feb 2018 11:17:05 -0800
Subject: [PATCH] [annotations] Pretty print also the annotations parameters

Reviewed By: jeremydubreil

Differential Revision: D7112878

fbshipit-source-id: be6ea53
---
 infer/src/IR/Annot.ml | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/infer/src/IR/Annot.ml b/infer/src/IR/Annot.ml
index 0b001edf5..03a2273a6 100644
--- a/infer/src/IR/Annot.ml
+++ b/infer/src/IR/Annot.ml
@@ -28,7 +28,10 @@ let final = {class_name= "final"; parameters= []}
 (** Pretty print an annotation. *)
 let prefix = match Language.curr_language_is Java with true -> "@" | false -> "_"
 
-let pp fmt annotation = F.fprintf fmt "%s%s" prefix annotation.class_name
+let pp fmt annotation =
+  F.fprintf fmt "%s%s%s" prefix annotation.class_name
+    (String.concat ~sep:"," annotation.parameters)
+
 
 module Map = PrettyPrintable.MakePPMap (struct
   type nonrec t = t