From 37758f431fac7dc36e7c53bf58ea487e3744783a Mon Sep 17 00:00:00 2001
From: zhouzhezz <zorichzorich@gmail.com>
Date: Mon, 4 Apr 2022 01:35:03 -0400
Subject: [PATCH] fix bug

---
 classify/feature.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/classify/feature.ml b/classify/feature.ml
index 8748017..6399d35 100644
--- 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" ->