From 934a13a1346b4afa15e703bc825c31436532c3c8 Mon Sep 17 00:00:00 2001 From: Jules Villard Date: Thu, 13 Aug 2020 03:12:01 -0700 Subject: [PATCH] [pulse][minor] name ~callee argument for readability Summary: To make sure we don't mix up the order of arguments. Reviewed By: dulmarod Differential Revision: D22921348 fbshipit-source-id: 9b5333bf3 --- infer/src/pulse/PulsePathCondition.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/pulse/PulsePathCondition.ml b/infer/src/pulse/PulsePathCondition.ml index 608e8a886..dcfa98ef6 100644 --- a/infer/src/pulse/PulsePathCondition.ml +++ b/infer/src/pulse/PulsePathCondition.ml @@ -176,7 +176,7 @@ let and_citvs_callee subst citvs_caller citvs_callee = (subst, citvs') -let and_formula_callee subst formula_caller formula_callee = +let and_formula_callee subst formula_caller ~callee:formula_callee = (* need to translate callee variables to make sense for the caller, thereby possibly extending the current substitution *) let subst, formula_callee_translated = @@ -199,7 +199,7 @@ let and_callee subst phi ~callee:phi_callee = L.d_printfln "contradiction found by concrete intervals" ; (subst, false_) | subst, citvs' -> - let subst, formula' = and_formula_callee subst phi.formula phi_callee.formula in + let subst, formula' = and_formula_callee subst phi.formula ~callee:phi_callee.formula in L.d_printfln "conjoined formula post call: %a@\n" Formula.pp formula' ; let formula' = Formula.normalize formula' in let is_unsat = Formula.is_literal_false formula' in