aboutsummaryrefslogtreecommitdiff
path: root/motus/js/reload.ml
diff options
context:
space:
mode:
authorSébastien Dailly <sebastien@dailly.me>2022-02-24 08:59:44 +0100
committerSébastien Dailly <sebastien@dailly.me>2022-02-24 13:39:39 +0100
commitc2bd6982e5ed845293a38ae600c239cd50924d76 (patch)
tree4e68d4e7f9c2b9d5ae597f54961891332fc0e985 /motus/js/reload.ml
parent89dbb39c3fcd188ef7acf092061d756046b2c5d4 (diff)
Update code, added tests
Diffstat (limited to 'motus/js/reload.ml')
-rw-r--r--motus/js/reload.ml4
1 files changed, 1 insertions, 3 deletions
diff --git a/motus/js/reload.ml b/motus/js/reload.ml
index cfdfa2a..2756b74 100644
--- a/motus/js/reload.ml
+++ b/motus/js/reload.ml
@@ -18,9 +18,7 @@ let process : t -> State.state -> State.state =
in
let new_state =
- { state with
- analysis = Motus_lib.Persistence.remove_word state.analysis word
- }
+ { state with analysis = Motus_lib.Wordlist.remove_word state.analysis word }
in
(* Get the new proposition if any *)
let current_prop =