Fix parsing errors in UI.

hernanponcedeleon · Oct 1, 2024 · f660f18 · f660f18
1 parent e3fe562
commit f660f18
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ui/src/main/java/com/dat3m/ui/editor/Editor.java b/ui/src/main/java/com/dat3m/ui/editor/Editor.java
@@ -100,7 +100,7 @@ public void actionPerformed(ActionEvent event) {
             if (chooser.showOpenDialog(null) == APPROVE_OPTION) {
                 String path = chooser.getSelectedFile().getPath();
                 loadedPath = path.substring(0, path.lastIndexOf('/') + 1);
-                String format = path.endsWith("spv.dis") ? "spv.dis" : path.substring(path.indexOf('.') + 1).trim();
+                String format = path.endsWith("spv.dis") ? "spv.dis" : path.substring(path.lastIndexOf('.') + 1).trim();
                 if (allowedFormats.contains(format)) {
                     loadedFormat = format;
                     notifyListeners();