From 438a4b430b7f1ec4a0800c2a2e0c3df927dad78a Mon Sep 17 00:00:00 2001
From: Jules Villard <jul@fb.com>
Date: Mon, 16 May 2016 11:41:45 -0700
Subject: [PATCH] fix github build

Reviewed By: jeremydubreil

Differential Revision: D3305035

fbshipit-source-id: c606cc7
---
 infer/src/opensource/fbTaint.mli | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/infer/src/opensource/fbTaint.mli b/infer/src/opensource/fbTaint.mli
index cdb23ab2c..6e503e748 100644
--- a/infer/src/opensource/fbTaint.mli
+++ b/infer/src/opensource/fbTaint.mli
@@ -9,8 +9,8 @@
 
 open! Utils
 
-val sources : PatternMatch.method_str list
+val sources : PatternMatch.taint_spec list
 
-val sinks : (PatternMatch.method_str * int list) list
+val sinks : (PatternMatch.taint_spec * int list) list
 
-val functions_with_tainted_params : (PatternMatch.method_str * int list) list
+val functions_with_tainted_params : (PatternMatch.taint_spec * int list) list