TLC makes sure that the module file is correct in regard to case sensitivity....

TLC makes sure that the module file is correct in regard to case sensitivity. Probcli converts the file name to lower case. Now the translator provides the canonical name of the file to TLC.

src/main/java/de/tla2bAst/Translator.java

 package de.tla2bAst;
 
-import java.io.BufferedOutputStream;
 import java.io.BufferedReader;
 import java.io.BufferedWriter;
 import java.io.File;
@@ -9,7 +8,6 @@ import java.io.FileOutputStream;
 import java.io.FileReader;
 import java.io.IOException;
 import java.io.OutputStreamWriter;
-import java.io.PrintStream;
 import java.io.PrintWriter;
 import java.io.UnsupportedEncodingException;
 import java.util.Date;
@@ -87,6 +85,12 @@ public class Translator implements TranslationGlobals {
 			throw new RuntimeException("Can not find module file: '"
 					+ moduleFileName + "'");
 		}
+		try {
+			moduleFile = moduleFile.getCanonicalFile();
+		} catch (IOException e) {
+			throw new RuntimeException("Can not access module file: '"
+					+ moduleFileName + "'");
+		}
 	}
 
 	// Used for Testing