diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-24 09:26:23 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-24 13:39:39 +0100 |
| commit | 95432043550bd4a41b4466395502bc3b748e6746 (patch) | |
| tree | 2d1783c6a03eadc9d4be485130b58abd222dad20 /motus/js/next.ml | |
| parent | c2bd6982e5ed845293a38ae600c239cd50924d76 (diff) | |
Moved the wordlist into a set
Diffstat (limited to 'motus/js/next.ml')
| -rw-r--r-- | motus/js/next.ml | 7 |
1 files changed, 1 insertions, 6 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml index 72db9e4..104b3e6 100644 --- a/motus/js/next.ml +++ b/motus/js/next.ml @@ -15,12 +15,7 @@ let process : t -> State.state -> State.state = in (* Update the word list with the new rules *) - let analysis = - List.fold_left - ~f:(Motus_lib.Wordlist.add_word rules) - ~init:(Motus_lib.Wordlist.empty_data ()) - (Motus_lib.Wordlist.words state.analysis) - in + let analysis = Motus_lib.Wordlist.filter rules state.analysis in let propositions = state.current_prop :: state.propositions and current_prop = [] in |