diff options
| author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-24 08:59:44 +0100 |
|---|---|---|
| committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-24 13:39:39 +0100 |
| commit | c2bd6982e5ed845293a38ae600c239cd50924d76 (patch) | |
| tree | 4e68d4e7f9c2b9d5ae597f54961891332fc0e985 /motus/js/next.ml | |
| parent | 89dbb39c3fcd188ef7acf092061d756046b2c5d4 (diff) | |
Update code, added tests
Diffstat (limited to 'motus/js/next.ml')
| -rw-r--r-- | motus/js/next.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml index 5f24883..72db9e4 100644 --- a/motus/js/next.ml +++ b/motus/js/next.ml @@ -17,9 +17,9 @@ let process : t -> State.state -> State.state = (* Update the word list with the new rules *) let analysis = List.fold_left - ~f:(Motus_lib.Persistence.add_word rules) - ~init:(Motus_lib.Persistence.empty_data ()) - (Motus_lib.Persistence.words state.analysis) + ~f:(Motus_lib.Wordlist.add_word rules) + ~init:(Motus_lib.Wordlist.empty_data ()) + (Motus_lib.Wordlist.words state.analysis) in let propositions = state.current_prop :: state.propositions |