From 2ba4d7b0f1c2269cca8373c936787f967249ed89 Mon Sep 17 00:00:00 2001 From: anuolu <33136650+anuolu@users.noreply.github.com> Date: Thu, 9 Nov 2017 06:54:11 -0800 Subject: [PATCH] [infer][PR] fixed spelling Summary: Closes https://github.com/facebook/infer/pull/779 Reviewed By: jeremydubreil, jvillard Differential Revision: D6172472 Pulled By: ddino fbshipit-source-id: 8682491 --- infer/src/backend/prover.ml | 2 +- infer/src/backend/prover.mli | 4 ++-- infer/src/backend/rearrange.ml | 2 +- infer/src/backend/specs.mli | 2 +- 4 files changed, 5 insertions(+), 5 deletions(-) diff --git a/infer/src/backend/prover.ml b/infer/src/backend/prover.ml index be0020a6c..e08d79955 100644 --- a/infer/src/backend/prover.ml +++ b/infer/src/backend/prover.ml @@ -2417,7 +2417,7 @@ and sigma_imply tenv calc_index_frame calc_missing subs prop1 sigma2 : subst2 * Sil.Hpointsto (root, sexp, const_string_texp) in let mk_constant_class_hpred s = - (* creat an hpred from a constant class *) + (* create an hpred from a constant class *) let root = Exp.Const (Const.Cclass (Ident.string_to_name s)) in let sexp = (* TODO: add appropriate fields *) diff --git a/infer/src/backend/prover.mli b/infer/src/backend/prover.mli index 2c4a8b4e5..5314abb4b 100644 --- a/infer/src/backend/prover.mli +++ b/infer/src/backend/prover.mli @@ -95,11 +95,11 @@ val check_implication_for_footprint : frame)] where [sub] is a substitution which instantiates the primed vars of [p1] and [p2], which are assumed to be disjoint. *) -(** {2 Cover: miminum set of pi's whose disjunction is equivalent to true} *) +(** {2 Cover: minimum set of pi's whose disjunction is equivalent to true} *) val find_minimum_pure_cover : Tenv.t -> (Sil.atom list * 'a) list -> (Sil.atom list * 'a) list option -(** Find miminum set of pi's in [cases] whose disjunction covers true *) +(** Find minimum set of pi's in [cases] whose disjunction covers true *) (** {2 Compute various lower or upper bounds} *) diff --git a/infer/src/backend/rearrange.ml b/infer/src/backend/rearrange.ml index 71e06142d..6eba08d8b 100644 --- a/infer/src/backend/rearrange.ml +++ b/infer/src/backend/rearrange.ml @@ -1100,7 +1100,7 @@ let pp_rearrangement_error message prop lexp = L.d_ln () -(** do re-arrangment for an iter whose current element is a pointsto *) +(** do re-arrangement for an iter whose current element is a pointsto *) let iter_rearrange_ptsto pname tenv orig_prop iter lexp inst = if Config.trace_rearrange then ( L.d_increase_indent 1 ; diff --git a/infer/src/backend/specs.mli b/infer/src/backend/specs.mli index 899f3d8e3..88aa21bb6 100644 --- a/infer/src/backend/specs.mli +++ b/infer/src/backend/specs.mli @@ -179,7 +179,7 @@ val get_ret_type : summary -> Typ.t (** Get the return type of the procedure *) val get_formals : summary -> (Mangled.t * Typ.t) list -(** Get the formal paramters of the procedure *) +(** Get the formal parameters of the procedure *) val get_phase : summary -> phase (** Return the current phase for the proc *)