Update keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen/TG…

…InfoDialog.java Incorporate reviewer suggestion (removal of unused variable declaration) Co-authored-by: Daniel Drodt <[email protected]>
KeYProject · Nov 10, 2023 · c51a09e · c51a09e
1 parent b64b5eb
commit c51a09e
Showing 1 changed file with 0 additions and 3 deletions.
diff --git a/keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen/TGInfoDialog.java b/keyext.ui.testgen/src/main/java/de/uka/ilkd/key/gui/testgen/TGInfoDialog.java
@@ -11,7 +11,6 @@
 import de.uka.ilkd.key.core.KeYMediator;
 import de.uka.ilkd.key.gui.MainWindow;
 import de.uka.ilkd.key.gui.actions.KeyAction;
-import de.uka.ilkd.key.proof.Proof;
 import de.uka.ilkd.key.smt.testgen.TestGenerationLog;
 import de.uka.ilkd.key.util.ThreadUtilities;
 
@@ -62,8 +61,6 @@ public void actionPerformed(ActionEvent e) {
 
         @Override
         public void actionPerformed(ActionEvent e) {
-            final KeYMediator mediator = MainWindow.getInstance().getMediator();
-            final Proof proof = mediator.getSelectedProof();
             worker = new TGWorker(TGInfoDialog.this);
             worker.start();
         }