From 1953744ef4d6ab41989bcef07dda6208a6a82c9f Mon Sep 17 00:00:00 2001
From: dgelessus <dgelessus@users.noreply.github.com>
Date: Fri, 25 Oct 2024 14:43:47 +0200
Subject: [PATCH] Use standard separatorChar constant instead of the one from
tlatools
---
src/test/java/de/tla2b/util/TestUtil.java | 12 ++++++------
1 file changed, 6 insertions(+), 6 deletions(-)
diff --git a/src/test/java/de/tla2b/util/TestUtil.java b/src/test/java/de/tla2b/util/TestUtil.java
index caf9595..1fada6e 100644
--- a/src/test/java/de/tla2b/util/TestUtil.java
+++ b/src/test/java/de/tla2b/util/TestUtil.java
@@ -1,5 +1,9 @@
package de.tla2b.util;
+import java.io.File;
+import java.util.ArrayList;
+import java.util.List;
+
import de.be4.classicalb.core.parser.BParser;
import de.be4.classicalb.core.parser.analysis.prolog.ASTProlog;
import de.be4.classicalb.core.parser.exceptions.BCompoundException;
@@ -10,12 +14,8 @@ import de.be4.classicalb.core.parser.util.SuffixIdentifierRenaming;
import de.prob.prolog.output.PrologTermStringOutput;
import de.tla2b.exceptions.TLA2BException;
import de.tla2bAst.Translator;
-import util.FileUtil;
-import util.ToolIO;
-import java.io.File;
-import java.util.ArrayList;
-import java.util.List;
+import util.ToolIO;
import static org.junit.Assert.assertEquals;
@@ -146,7 +146,7 @@ public class TestUtil {
public static TestTypeChecker typeCheck(String moduleFileName) throws TLA2BException {
ToolIO.setMode(ToolIO.TOOL);
ToolIO.reset();
- moduleFileName = moduleFileName.replace('/', FileUtil.separatorChar);
+ moduleFileName = moduleFileName.replace('/', File.separatorChar);
TestTypeChecker testTypeChecker = new TestTypeChecker();
testTypeChecker.start(moduleFileName);
return testTypeChecker;
--
GitLab