diff --git a/prism/src/prism/ExplicitFiles2MTBDD.java b/prism/src/prism/ExplicitFiles2MTBDD.java
index 7429c1e3..0e926472 100644
--- a/prism/src/prism/ExplicitFiles2MTBDD.java
+++ b/prism/src/prism/ExplicitFiles2MTBDD.java
@@ -141,6 +141,8 @@ public class ExplicitFiles2MTBDD
 			createVarInfoFromTransFile();
 		}
 		
+		modulesFile.setModelType(modelType);
+		
 		return modulesFile;
 	}