diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-25 19:15:29 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-25 19:15:29 +0100 |
| commit | 4eff667b92ff7ef4c3542650509c03fb0de5cbce (patch) | |
| tree | 6a6180d355d0ab78626ad5988c5203ee20344187 /motus/js/reload.ml | |
| parent | 95432043550bd4a41b4466395502bc3b748e6746 (diff) | |
Added an another engine for motus, using entropy instead of frequencies only
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 |