Skip to content

Commit f070f2a

Browse files
committed
Improve readability of UnionFind.get_size_in_bits.
1 parent 2c21687 commit f070f2a

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

src/cdomains/unionFind.ml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -77,9 +77,9 @@ module T = struct
7777
get_size_in_bits (TPtr (typ,[]))
7878
| _ ->
7979
try Z.of_int (bitsSizeOf typ) with
80-
| GoblintCil__Cil.SizeOfError (msg,_) when msg ="abstract type"->
80+
| SizeOfError ("abstract type", _) ->
8181
Z.one
82-
| GoblintCil__Cil.SizeOfError (msg,_) ->
82+
| SizeOfError (msg, _) ->
8383
raise (UnsupportedCilExpression msg)
8484

8585
let show_type exp =

0 commit comments

Comments
 (0)