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