remove unused imports

KeYProject · Apr 20, 2024 · ce2bd72 · ce2bd72
1 parent f423328
commit ce2bd72
Show file tree

Hide file tree

Showing 3 changed files with 1 addition and 4 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java b/key.core/src/main/java/de/uka/ilkd/key/settings/ProofIndependentSMTSettings.java
@@ -3,7 +3,6 @@
  * SPDX-License-Identifier: GPL-2.0-only */
 package de.uka.ilkd.key.settings;
 
-import java.nio.file.InvalidPathException;
 import java.util.Collection;
 import java.util.LinkedList;
 import java.util.Optional;

diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SMTSettingsProvider.java
@@ -4,7 +4,6 @@
 package de.uka.ilkd.key.gui.smt.settings;
 
 import java.math.RoundingMode;
-import java.nio.file.InvalidPathException;
 import java.util.ArrayList;
 import java.util.Collection;
 import java.util.List;

diff --git a/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java b/key.ui/src/main/java/de/uka/ilkd/key/gui/smt/settings/SolverOptions.java
@@ -4,7 +4,6 @@
 package de.uka.ilkd.key.gui.smt.settings;
 
 import java.math.RoundingMode;
-import java.nio.file.InvalidPathException;
 import javax.swing.*;
 
 import de.uka.ilkd.key.gui.MainWindow;
@@ -208,7 +207,7 @@ public void applySettings(MainWindow window) {
             String command = solverCommand.getText();
             String params = solverParameters.getText();
             long timeout = (long) (((Number) solverTimeout.getValue()).doubleValue() * 1000.0);
-            
+
             solverType.setSolverCommand(command);
             solverType.setSolverParameters(params);
             solverType.setSolverTimeout(timeout);