diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-26 13:42:32 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-26 15:19:51 +0100 |
commit | 84b8439aa90f1465d05dcba936a25eaf96f914a0 (patch) | |
tree | eb50a0a305d14d8591acb51e5ab745dcdd3e1f88 /motus/js/reload.ml | |
parent | 4eff667b92ff7ef4c3542650509c03fb0de5cbce (diff) |
Use the whole dictionnary when searching for a word for a faster exploration
Diffstat (limited to 'motus/js/reload.ml')
-rw-r--r-- | motus/js/reload.ml | 11 |
1 files changed, 9 insertions, 2 deletions
diff --git a/motus/js/reload.ml b/motus/js/reload.ml index f0b581f..ee9ab37 100644 --- a/motus/js/reload.ml +++ b/motus/js/reload.ml @@ -18,11 +18,18 @@ let process : t -> State.state -> State.state = in let new_state = - { state with analysis = Motus_lib.Wordlist.remove_word state.analysis word } + { state with + analysis = Motus_lib.Wordlist.remove_word state.analysis word + ; catalog = Motus_lib.Wordlist.remove_word state.catalog word + } in (* Get the new proposition if any *) let current_prop = - Initialize.get_proposition state.length new_state.analysis state.rules + Initialize.get_proposition + ~catalog:new_state.catalog + state.length + new_state.analysis + state.rules in match current_prop with | None -> new_state |