Small comment fix

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11575 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/simulator/Updater.java

@@ -54,7 +54,7 @@ public class Updater extends PrismComponent
 	// The precision to which we check probabilities sum to 1
 	protected double sumRoundOff = 1e-5;
 	
-	// Model to which the path corresponds
+	// Info on model being explored
 	protected ModulesFile modulesFile;
 	protected ModelType modelType;
 	protected int numModules;