Remove no longer used logger

hhu-stups · Jul 30, 2024 · a070943 · a070943
1 parent 3dab4a5
commit a070943
Showing 1 changed file with 0 additions and 5 deletions.
diff --git a/src/main/java/de/prob2/ui/verifications/modelchecking/TLCModelCheckingTab.java b/src/main/java/de/prob2/ui/verifications/modelchecking/TLCModelCheckingTab.java
@@ -32,13 +32,8 @@
 import javafx.scene.layout.VBox;
 import javafx.stage.DirectoryChooser;
 
-import org.slf4j.Logger;
-import org.slf4j.LoggerFactory;
-
 @FXMLInjected
 public class TLCModelCheckingTab extends Tab {
-	private static final Logger LOGGER = LoggerFactory.getLogger(TLCModelCheckingTab.class);
-
 	@FXML
 	private VBox errorMessageBox;
 	@FXML