From b07269ab71273045793a5c8ab8982c903e00cb2e Mon Sep 17 00:00:00 2001 From: Stephan Walters Date: Thu, 9 Nov 2017 06:56:08 -0800 Subject: [PATCH] [infer][PR] Fixed type Summary: Closes https://github.com/facebook/infer/pull/777 Reviewed By: jeremydubreil Differential Revision: D6172465 Pulled By: ddino fbshipit-source-id: 927c12d --- infer/src/backend/interproc.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/infer/src/backend/interproc.ml b/infer/src/backend/interproc.ml index fe540cfa1..08054e140 100644 --- a/infer/src/backend/interproc.ml +++ b/infer/src/backend/interproc.ml @@ -938,7 +938,7 @@ let perform_analysis_phase tenv (summary: Specs.summary) (proc_cfg: ProcCfg.Exce (* use existing pre's (in recursion some might exist) as starting points *) let init_props_from_pres = let specs = Specs.get_specs_from_payload summary in - (* rename spec vars to footrpint vars, and copy current to footprint *) + (* rename spec vars to footprint vars, and copy current to footprint *) let mk_init precondition = initial_prop_from_pre tenv pdesc (Specs.Jprop.to_prop precondition) in