From 23d6035655286c26ade7ac5614fdb386557cf51f Mon Sep 17 00:00:00 2001
From: Michael Leuschel <leuschel@cs.uni-duesseldorf.de>
Date: Tue, 15 Jan 2019 14:37:07 +0100
Subject: [PATCH] try and allow .sys files
---
src/main/java/de/tlc4b/TLC4B.java | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/src/main/java/de/tlc4b/TLC4B.java b/src/main/java/de/tlc4b/TLC4B.java
index 81125ad..dcd72ea 100644
--- a/src/main/java/de/tlc4b/TLC4B.java
+++ b/src/main/java/de/tlc4b/TLC4B.java
@@ -376,7 +376,8 @@ 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