Comment typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@741 bbc10eb1-c90d-0410-af57-cb519fbb1720
18 years ago · e95ca0858b
1 changed files with 2 additions and 1 deletions
--- a/prism/src/parser/visitor/ToSimulator.java
+++ b/prism/src/parser/visitor/ToSimulator.java
@ -36,7 +36,8 @@ import simulator.SimulatorEngine;
 import simulator.SimulatorException;

 /**
- * Rename (according to RenamedModule definition), return result.
+ * Construct corresponding data structures in the simulator and return
+ * pointer.
 */
 public class ToSimulator extends ASTTraverseModify
 {