fix github build

Reviewed By: jeremydubreil Differential Revision: D3305035 fbshipit-source-id: c606cc7
9 years ago · 438a4b430b
parent 1bb73ee3b6
commit 438a4b430b
1 changed files with 3 additions and 3 deletions
--- 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