diff --git a/prism/src/explicit/CTMCModelChecker.java b/prism/src/explicit/CTMCModelChecker.java
index 98aaf13a..938c13ae 100644
--- a/prism/src/explicit/CTMCModelChecker.java
+++ b/prism/src/explicit/CTMCModelChecker.java
@@ -28,8 +28,6 @@ package explicit;
 
 import java.util.*;
 
-import explicit.StateModelChecker.SolnMethod;
-import explicit.StateModelChecker.ValIterDir;
 import explicit.rewards.MCRewards;
 import explicit.rewards.MCRewardsStateArray;