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/state.ml | |
parent | 4eff667b92ff7ef4c3542650509c03fb0de5cbce (diff) |
Use the whole dictionnary when searching for a word for a faster exploration
Diffstat (limited to 'motus/js/state.ml')
-rw-r--r-- | motus/js/state.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/motus/js/state.ml b/motus/js/state.ml index cbab14f..e2e531d 100644 --- a/motus/js/state.ml +++ b/motus/js/state.ml @@ -5,6 +5,7 @@ type proposition = (Jstr.t * Validity.t) option list type state = { analysis : Wordlist.t + ; catalog : Wordlist.t ; rules : Criteria.t list ; length : int ; propositions : proposition list @@ -14,6 +15,7 @@ type state = let init () = { analysis = Wordlist.empty_data () + ; catalog = Wordlist.empty_data () ; rules = [] ; length = 0 ; propositions = [] |