From a3c6b759f0eb5e1754c82f4ce53db53a045191ee Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 10 Feb 2012 20:24:50 +0000
Subject: [PATCH] Small tidies.

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

diff --git a/prism/src/prism/Prism.java b/prism/src/prism/Prism.java
index d56979d9..cb83d122 100644
--- a/prism/src/prism/Prism.java
+++ b/prism/src/prism/Prism.java
@@ -38,7 +38,6 @@ import sparse.*;
 import hybrid.*;
 import parser.*;
 import parser.ast.*;
-import parser.type.TypeBool;
 import simulator.*;
 import simulator.method.SimulationMethod;
 import pta.*;
@@ -1409,7 +1408,6 @@ public class Prism implements PrismSettingsListener
 		currentModelExpl = null;
 
 		// Print basic model info
-		// TODO: move?
 		mainLog.println("\nType:        " + currentModulesFile.getModelType());
 		mainLog.print("Modules:     ");
 		for (int i = 0; i < currentModulesFile.getNumModules(); i++) {
@@ -2176,7 +2174,6 @@ public class Prism implements PrismSettingsListener
 	 */
 	public void exportStatesToFile(int exportType, File file) throws FileNotFoundException, PrismException
 	{
-		int i;
 		PrismLog tmpLog;
 
 		// No specific states format for MRMC