allow geq and leq ops in memop cmps

PrincetonUniversity · Jul 28, 2024 · 94ee957 · 94ee957
1 parent ac533c4
commit 94ee957
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/lib/frontend/Memops.ml b/src/lib/frontend/Memops.ml
@@ -65,7 +65,7 @@ let check_e memvars localvars allowed_op exp =
 ;;
 
 let allowed_bool_op = function
-  | Eq | Neq | Less | More | And | Or | Not -> true
+  | Eq | Neq | Less | More | And | Or | Not | Geq | Leq -> true
   | _ -> false
 ;;