Typo

michael-schwarz · michael-schwarz · commit 7186571f6da0 · 2024-05-15T15:49:59.000+02:00
diff --git a/src/analyses/base.ml b/src/analyses/base.ml
@@ -1579,7 +1579,7 @@ struct
   let set ~(ctx: _ ctx) ?(invariant=false) ?(blob_destructive=false) ?lval_raw ?rval_raw ?t_override (st: store) (lval: AD.t) (lval_type: Cil.typ) (value: value) : store =
     let update_variable x t y z =
       if M.tracing then M.tracel "set" ~var:x.vname "update_variable: start '%s' '%a'\nto\n%a" x.vname VD.pretty y CPA.pretty z;
-      let r = update_variable x t y z in (* refers to defintion that is outside of set *)
+      let r = update_variable x t y z in (* refers to definition that is outside of set *)
       if M.tracing then M.tracel "set" ~var:x.vname "update_variable: start '%s' '%a'\nto\n%a\nresults in\n%a" x.vname VD.pretty y CPA.pretty z CPA.pretty r;
       r
     in

Original file line number	Diff line number	Diff line change
`@@ -1579,7 +1579,7 @@ struct`
`1579`	`1579`	`let set ~(ctx: _ ctx) ?(invariant=false) ?(blob_destructive=false) ?lval_raw ?rval_raw ?t_override (st: store) (lval: AD.t) (lval_type: Cil.typ) (value: value) : store =`
`1580`	`1580`	`let update_variable x t y z =`
`1581`	`1581`	`if M.tracing then M.tracel "set" ~var:x.vname "update_variable: start '%s' '%a'\nto\n%a" x.vname VD.pretty y CPA.pretty z;`
`1582`		`- let r = update_variable x t y z in (* refers to defintion that is outside of set *)`
	`1582`	`+ let r = update_variable x t y z in (* refers to definition that is outside of set *)`
`1583`	`1583`	`if M.tracing then M.tracel "set" ~var:x.vname "update_variable: start '%s' '%a'\nto\n%a\nresults in\n%a" x.vname VD.pretty y CPA.pretty z CPA.pretty r;`
`1584`	`1584`	`r`
`1585`	`1585`	`in`