From 97164d019bff70d1b46f6eb2fd328a385b39172a Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 25 Jan 2012 10:22:49 +0000
Subject: [PATCH] Small bug fix (for something that wasn't really broken, but
 pointed out on forum).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4477 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/ExplicitFiles2MTBDD.java | 2 ++
 1 file changed, 2 insertions(+)

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;
 	}