diff --git a/prism/src/parser/visitor/ToSimulator.java b/prism/src/parser/visitor/ToSimulator.java index 2d6de55a..5b94d439 100644 --- 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 {