From 9c4b446b6213ef0e828d42a7491eb6dea8368c32 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 31 Mar 2020 01:04:03 +0100
Subject: [PATCH] Typo bugfix (unused code).

---
 prism/src/explicit/ConstructModel.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prism/src/explicit/ConstructModel.java b/prism/src/explicit/ConstructModel.java
index 46d27446..6be9459f 100644
--- 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: