From a92543b67cd00ba8cf6d79d48de1533c827bb6c1 Mon Sep 17 00:00:00 2001
From: Sam Blackshear <shb@fb.com>
Date: Thu, 25 Aug 2016 19:56:01 -0700
Subject: [PATCH] fix needless type extension

Reviewed By: jvillard

Differential Revision: D3773053

fbshipit-source-id: 4d62a2a
---
 infer/src/quandary/JavaTrace.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/infer/src/quandary/JavaTrace.ml b/infer/src/quandary/JavaTrace.ml
index 3c5849334..721ee5a22 100644
--- a/infer/src/quandary/JavaTrace.ml
+++ b/infer/src/quandary/JavaTrace.ml
@@ -84,8 +84,8 @@ module JavaSource = struct
 
   let pp_kind fmt (kind : kind) = match kind with
     | SharedPreferences -> F.fprintf fmt "SharedPreferences"
-    | SourceKind.Footprint ap -> F.fprintf fmt "Footprint[%a]" AccessPath.pp ap
-    | SourceKind.Other -> F.fprintf fmt "Other"
+    | Footprint ap -> F.fprintf fmt "Footprint[%a]" AccessPath.pp ap
+    | Other -> F.fprintf fmt "Other"
 
   let pp fmt s =
     F.fprintf fmt "%a(%a)" pp_kind s.kind CallSite.pp s.site