From 931cf2d72bb22c78d6f0c17db4cb5c0ec7f58cf5 Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Thu, 17 Sep 2020 04:32:36 -0700
Subject: [PATCH] [pulse][minor] resolve mysterious 'a in .mli

Summary:
Even though it's unused in the implementation this argument is supposed
to be `Typ.t` so spell it out.

Reviewed By: skcho

Differential Revision: D23729433

fbshipit-source-id: d05548f42
---
 infer/src/pulse/PulseOperations.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/infer/src/pulse/PulseOperations.mli b/infer/src/pulse/PulseOperations.mli
index ac73be6b8..58f69ed46 100644
--- a/infer/src/pulse/PulseOperations.mli
+++ b/infer/src/pulse/PulseOperations.mli
@@ -138,7 +138,7 @@ val call :
 val unknown_call :
      Location.t
   -> CallEvent.t
-  -> ret:Ident.t * 'a
+  -> ret:Ident.t * Typ.t
   -> actuals:((AbstractValue.t * ValueHistory.t) * Typ.t) list
   -> formals_opt:(Pvar.t * Typ.t) list option
   -> t