From 4bbe7cf75e2b2a0acbaa3065a61d9e699fa1e2bd Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Mon, 17 Dec 2012 14:20:20 +0000
Subject: [PATCH] code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@6218 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/prism/PrismCL.java | 3 ---
 1 file changed, 3 deletions(-)

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