diff options
author | Sébastien Dailly <sebastien@dailly.me> | 2022-02-27 13:06:59 +0100 |
---|---|---|
committer | Sébastien Dailly <sebastien@dailly.me> | 2022-02-27 13:06:59 +0100 |
commit | 5dc124b621ab05ba7dbde306a557947197941228 (patch) | |
tree | 73ac506a0540c4eff85c8cce38ff6c946144106f /motus/js/initialize.ml | |
parent | 3235260a3dca98e96ab50458a5daf3baf3f238d0 (diff) |
JS Update
Diffstat (limited to 'motus/js/initialize.ml')
-rw-r--r-- | motus/js/initialize.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/motus/js/initialize.ml b/motus/js/initialize.ml index b721343..6a277df 100644 --- a/motus/js/initialize.ml +++ b/motus/js/initialize.ml @@ -40,12 +40,8 @@ let get_proposition : word |> String.to_seq |> Seq.map (fun c -> - let wellplaced = - List.exists rules ~f:(function - | Motus_lib.Criteria.Contain (_, Some i') when !i = i' -> - true - | _ -> false ) - in + let contain = Criteria.Contain (c, Some !i) in + let wellplaced = List.mem contain ~set:rules in incr i; let validity = match wellplaced with |