aboutsummaryrefslogtreecommitdiff
path: root/motus/js/reload.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-26 13:42:32 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-26 15:19:51 +0100
commit84b8439aa90f1465d05dcba936a25eaf96f914a0 (patch)
treeeb50a0a305d14d8591acb51e5ab745dcdd3e1f88 /motus/js/reload.ml
parent4eff667b92ff7ef4c3542650509c03fb0de5cbce (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.ml11
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