s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Small tidies. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4587 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
4d4278fefe
commit
a3c6b759f0
1 changed files with 0 additions and 3 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 3
      prism/src/prism/Prism.java

3
prism/src/prism/Prism.java
View File

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

Write Preview
Loading…
Cancel
Save