Bugfix: accidental exception thrown for DTMCs/CTMCs.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1622 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/prism/Modules2MTBDD.java

@@ -879,8 +879,8 @@ public class Modules2MTBDD
 				break;
 			case DTMC:
 			case CTMC:
+				// not implemented yet
 				// TODO: base on code for transInd and transSynch above
-				throw new PrismException("Not implemented yet");
 			}
 		}