From e5930255643bf9bc946c5f6eb35ed5405c2f15e8 Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 15 Jan 2019 15:59:07 +0100
Subject: [PATCH] fix treatment of .sys file ending
---
src/main/java/de/tlc4b/TLC4B.java | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index dcd72ea..970b42b 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -376,7 +376,7 @@ public class TLC4B {
// the following lines fix incorrect file names
filename = filename.replace("\\", File.separator);
filename = filename.replace("/", File.separator);
- if (!filename.toLowerCase().endsWith(".mch") ||
+ if (!filename.toLowerCase().endsWith(".mch") &&
!filename.toLowerCase().endsWith(".sys")) {
filename = filename + ".mch";
}
--
GitLab