Typo bugfix (unused code).

6 years ago · 9c4b446b62
1 changed files with 1 additions and 1 deletions
--- a/prism/src/explicit/ConstructModel.java
+++ b/prism/src/explicit/ConstructModel.java
@ -354,7 +354,7 @@ public class ConstructModel extends PrismComponent
 				}
 				break;
 			case CTMDP:
-				model = sortStates ? new CTMDPSimple(ctmdp, permut) : mdp;
+				model = sortStates ? new CTMDPSimple(ctmdp, permut) : ctmdp;
 				break;
 			case STPG:
 			case SMG: