Skip to content

Commit 26d7695

Browse files
jerhardjerhard
committed
Remove unused open GoblintCil.
1 parent e8e6b58 commit 26d7695

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

‎src/cdomains/duplicateVars.ml‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,6 @@
33
that can be used to remeber the initial value of these parameters.
44
It uses RichVarinfo to create the duplicated variables. *)
55
open CilType
6-
open GoblintCil
76
open Batteries
87
open GoblintCil
98
module M = Messages

0 commit comments

Comments
 (0)