From 15f664eab3f128cc0d73ca08a91275b619f1e936 Mon Sep 17 00:00:00 2001 From: "Angel (scout387)" Date: Fri, 10 Nov 2017 20:01:40 -0800 Subject: [PATCH] [infer][PR] Fix Spelling Error Summary: #Summary Small spell check to comments. #Changes error-> Uptade Fix-> Update Closes https://github.com/facebook/infer/pull/778 Reviewed By: sblackshear Differential Revision: D6172469 Pulled By: jeremydubreil fbshipit-source-id: 5293d7c --- infer/src/absint/Summary.mli | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/infer/src/absint/Summary.mli b/infer/src/absint/Summary.mli index c44ca44ba..5df26a189 100644 --- a/infer/src/absint/Summary.mli +++ b/infer/src/absint/Summary.mli @@ -13,7 +13,7 @@ module type Payload = sig type payload val update_payload : payload -> Specs.summary -> Specs.summary - (** Uptade the corresponding part of the payload in the procedure summary *) + (** Update the corresponding part of the payload in the procedure summary *) val read_payload : Specs.summary -> payload option (** Read the corresponding part of the payload from the procedure summary *) @@ -23,7 +23,7 @@ module type S = sig type payload val update_summary : payload -> Specs.summary -> Specs.summary - (** Uptade the corresponding part of the payload in the procedure summary *) + (** Update the corresponding part of the payload in the procedure summary *) val read_summary : Procdesc.t -> Typ.Procname.t -> payload option (** Return the payload for the given procedure.