diff options
Diffstat (limited to 'motus/js/reload.ml')
| -rw-r--r-- | motus/js/reload.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/motus/js/reload.ml b/motus/js/reload.ml index 2756b74..f0b581f 100644 --- a/motus/js/reload.ml +++ b/motus/js/reload.ml @@ -22,7 +22,7 @@ let process : t -> State.state -> State.state = in (* Get the new proposition if any *) let current_prop = - Initialize.get_proposition new_state.analysis state.rules + Initialize.get_proposition state.length new_state.analysis state.rules in match current_prop with | None -> new_state |