Skip to content

Commit 762b284

Browse files
sim642sim642
committed
Remove now-unused open in AddressDomain (PR #1940)
1 parent 55c8b0d commit 762b284

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎src/cdomain/value/cdomains/addressDomain.ml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
include AddressDomain_intf
22

33
open GoblintCil
4-
open IntOps
54

65
module M = Messages
76
module Mval_outer = Mval

0 commit comments

Comments
 (0)