diff --git a/prism/src/prism/Modules2MTBDD.java b/prism/src/prism/Modules2MTBDD.java
index c0164430..bb9b47ab 100644
--- a/prism/src/prism/Modules2MTBDD.java
+++ b/prism/src/prism/Modules2MTBDD.java
@@ -191,6 +191,11 @@ public class Modules2MTBDD
 		synchs = modulesFile.getSynchs();
 		numSynchs = synchs.size();
 		
+		// check model type is supported
+		if (!(modelType == ModelType.DTMC || modelType == ModelType.MDP || modelType == ModelType.CTMC)) {
+			throw new PrismException("Symbolic construction of " + modelType + "s not supported");
+		}
+		
 		// allocate dd variables
 		allocateDDVars();
 		sortDDVars();