diff --git a/src/main/java/de/tla2bAst/SimpleResolver.java b/src/main/java/de/tla2bAst/SimpleResolver.java
new file mode 100644
index 0000000000000000000000000000000000000000..8ffd983b673aa3ee133b1a7a48875bc8ee9a65e6
--- /dev/null
+++ b/src/main/java/de/tla2bAst/SimpleResolver.java
@@ -0,0 +1,19 @@
+package de.tla2bAst;
+
+import java.io.File;
+
+import util.FilenameToStream;
+
+public class SimpleResolver implements FilenameToStream {
+
+	public boolean isStandardModule(String arg0) {
+		return false;
+	}
+
+	public File resolve(String arg0, boolean arg1) {
+
+		File file = new File(arg0);
+		return file;
+	}
+
+}
\ No newline at end of file
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 1ffbcc86cbe02883960b83e5729a2ea324099289..a66104d72acd922352764619b557207f92246f9a 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -120,7 +120,7 @@ public class Translator {
 		if (configFileName != null) {
 			File f = new File(configFileName);
 			if (f.exists()) {
-				modelConfig = new ModelConfig(f.getName(), null);
+				modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
 				modelConfig.parse();
 			}
 		} else {
@@ -132,7 +132,7 @@ public class Translator {
 			String configFile = fileNameWithoutSuffix + ".cfg";
 			File f = new File(configFile);
 			if (f.exists()) {
-				modelConfig = new ModelConfig(f.getName(), null);
+				modelConfig = new ModelConfig(f.getName(), new SimpleResolver());
 				modelConfig.parse();
 			}
 		}