From 4eff667b92ff7ef4c3542650509c03fb0de5cbce Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Fri, 25 Feb 2022 19:15:29 +0100 Subject: Added an another engine for motus, using entropy instead of frequencies only --- motus/js/reload.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'motus/js/reload.ml') diff --git a/motus/js/reload.ml b/motus/js/reload.ml index 2756b74..f0b581f 100644 --- a/motus/js/reload.ml +++ b/motus/js/reload.ml @@ -22,7 +22,7 @@ let process : t -> State.state -> State.state = in (* Get the new proposition if any *) let current_prop = - Initialize.get_proposition new_state.analysis state.rules + Initialize.get_proposition state.length new_state.analysis state.rules in match current_prop with | None -> new_state -- cgit v1.2.3