fix bug

zhezhouzz · Apr 4, 2022 · 37758f4 · 37758f4
1 parent a424b4e
commit 37758f4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/classify/feature.ml b/classify/feature.ml
@@ -63,7 +63,7 @@ let mk_set args qv mps =
   let dtargs, _ = List.partition (fun (tp, _) -> T.is_dt tp) args in
   let mk_feature mp =
     match mp with
-    | "mem" | "hd" | "last" ->
+    | "mem" | "hd" | "last" | "left_mem" | "right_mem" ->
         List.map (fun (dt, elem) -> Pr (mp, [ dt; elem ]))
         @@ List.cross dtargs qv
     | "left" | "right" | "ord" ->