Browse Source

Small comment fix

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11576 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 10 years ago
parent
commit
e217d58339
  1. 2
      prism/src/simulator/Updater.java

2
prism/src/simulator/Updater.java

@ -92,7 +92,7 @@ public class Updater extends PrismComponent
doProbChecks = parent.getSettings().getBoolean(PrismSettings.PRISM_DO_PROB_CHECKS); doProbChecks = parent.getSettings().getBoolean(PrismSettings.PRISM_DO_PROB_CHECKS);
sumRoundOff = parent.getSettings().getDouble(PrismSettings.PRISM_SUM_ROUND_OFF); sumRoundOff = parent.getSettings().getDouble(PrismSettings.PRISM_SUM_ROUND_OFF);
// Get info from simulator/model
// Get info from model
this.modulesFile = modulesFile; this.modulesFile = modulesFile;
modelType = modulesFile.getModelType(); modelType = modulesFile.getModelType();
numModules = modulesFile.getNumModules(); numModules = modulesFile.getNumModules();

Loading…
Cancel
Save