diff --git a/src/main/java/de/tla2bAst/SimpleResolver.java b/src/main/java/de/tla2bAst/SimpleResolver.java
deleted file mode 100644
index b69f723cd9e4875bf1c82b0c0cb32694f4f12494..0000000000000000000000000000000000000000
--- a/src/main/java/de/tla2bAst/SimpleResolver.java
+++ /dev/null
@@ -1,25 +0,0 @@
-package de.tla2bAst;
-
-import util.FilenameToStream;
-
-import java.io.File;
-
-public class SimpleResolver implements FilenameToStream {
-
-	private File file;
-
-	public boolean isStandardModule(String arg0) {
-		return false;
-	}
-
-	public File resolve(String arg0, boolean arg1) {
-
-		file = new File(arg0);
-		return file;
-	}
-
-	public String getFullPath() {
-		return file.getAbsolutePath();
-	}
-
-}
diff --git a/src/main/java/de/tla2bAst/Translator.java b/src/main/java/de/tla2bAst/Translator.java
index 21f89dbb048c8fa82beddfde8cb1ec2d06b51c19..a4192f41302cba6de13ea3785ce3d8784a138303 100644
--- a/src/main/java/de/tla2bAst/Translator.java
+++ b/src/main/java/de/tla2bAst/Translator.java
@@ -131,9 +131,8 @@ public class Translator implements TranslationGlobals {
 	private void parse() throws TLA2BFrontEndException {
 		moduleNode = parseModule();
 
-		modelConfig = null;
 		if (configFile != null) {
-			modelConfig = new ModelConfig(configFile.getAbsolutePath(), new SimpleResolver());
+			modelConfig = new ModelConfig(configFile.getName(), null);
 			modelConfig.parse();
 		}
 	}