From 1cb0822a314230bf23db2ab522791a38882dbad0 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Mon, 27 Feb 2012 19:44:31 +0000 Subject: [PATCH] Code tidy git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4737 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/simulator/SimulatorEngine.java | 2 -- 1 file changed, 2 deletions(-) diff --git a/prism/src/simulator/SimulatorEngine.java b/prism/src/simulator/SimulatorEngine.java index 35773cab..d41e85b7 100644 --- a/prism/src/simulator/SimulatorEngine.java +++ b/prism/src/simulator/SimulatorEngine.java @@ -29,8 +29,6 @@ package simulator; import java.util.*; import java.io.*; -import javax.swing.plaf.basic.BasicInternalFrameTitlePane.MaximizeAction; - import simulator.method.*; import simulator.sampler.*; import parser.*;