code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6218 bbc10eb1-c90d-0410-af57-cb519fbb1720
13 years ago · 4bbe7cf75e
1 changed files with 0 additions and 3 deletions
--- 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