diff --git a/prism/src/prism/PrismCL.java b/prism/src/prism/PrismCL.java
index a8ec1ccc..6e1cb1e3 100644
--- a/prism/src/prism/PrismCL.java
+++ b/prism/src/prism/PrismCL.java
@@ -29,11 +29,8 @@ package prism;
 import java.io.*;
 import java.util.*;
 
-import cex.CexPathStates;
-
 import parser.*;
 import parser.ast.*;
-import simulator.SimulatorEngine;
 import simulator.method.*;
 
 // prism - command line version