Skip to content

Commit db3a1e3

Browse files
committed
Get rid of unused import warnings
1 parent 91fcf3f commit db3a1e3

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/main/java/com/github/javabdd/BDDVarSet.java

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@
33
// Licensed under the terms of the GNU LGPL; see COPYING for details.
44
package com.github.javabdd;
55

6-
import java.util.Arrays;
6+
//import java.util.Arrays;
77

88
/**
99
* <p>Some BDD methods, namely <tt>exist()</tt>, <tt>forall()</tt>, <tt>unique()</tt>,

0 commit comments

Comments
 (0)