Skip to content

Commit 84f806e

Browse files
Update src/analyses/apron/relationAnalysis.apron.ml
fix comment Co-authored-by: Michael Schwarz <michael.schwarz93@gmail.com>
1 parent 4eab9d6 commit 84f806e

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/analyses/apron/relationAnalysis.apron.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -261,7 +261,7 @@ struct
261261
| TPtr (t, _) -> Some ((bitsSizeOf t) / 8)
262262
| _ -> None
263263

264-
(*the relational domain is not able to evaluate sizeOf expressions those have to be replaces with constants*)
264+
(* the relational domain is not able to evaluate sizeOf expressions those have to be replaced with constants *)
265265
let rec replaceSizeOf exp : exp =
266266
match exp with
267267
| SizeOf typ -> (CastE (!upointType, sizeOf typ )) (*evaluate sizeOf*)

0 commit comments

Comments
 (0)