is_value bug fixed

ymyzk · Nov 18, 2024 · e0bee77 · e0bee77
1 parent 9832661
commit e0bee77
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/lib/syntax.ml b/lib/syntax.ml
@@ -169,6 +169,7 @@ module CC = struct
     | LetExp (r, _, _, _, _) -> r
 
   let rec is_value = function
+    | Var _
     | IConst _
     | BConst _
     | UConst _