Browse Source

Code tidy

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4737 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
commit
1cb0822a31
  1. 2
      prism/src/simulator/SimulatorEngine.java

2
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.*;

Loading…
Cancel
Save