diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-11 09:22:18 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-11 09:28:26 +0100 |
commit | 82bb54622a47bb092094c8efab8200b12817c5b4 (patch) | |
tree | f160d66a09d2bf0e8f2bdbef5dbec17126ecd4a1 /motus/js/next.ml | |
parent | d20d14b4f4a903ef9aea4c01dd46fab5ecbab6ae (diff) |
Hide structure in motus solver
Diffstat (limited to 'motus/js/next.ml')
-rw-r--r-- | motus/js/next.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/motus/js/next.ml b/motus/js/next.ml index 658590d..5f24883 100644 --- a/motus/js/next.ml +++ b/motus/js/next.ml @@ -19,7 +19,7 @@ let process : t -> State.state -> State.state = List.fold_left ~f:(Motus_lib.Persistence.add_word rules) ~init:(Motus_lib.Persistence.empty_data ()) - state.analysis.Motus_lib.Persistence.element + (Motus_lib.Persistence.words state.analysis) in let propositions = state.current_prop :: state.propositions |