[fix] lambda-12 syntax

kupl · Nov 9, 2023 · b2ae1b4 · b2ae1b4
1 parent 17db2e9
commit b2ae1b4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/OCaml/lambda-12/buggy/src.ml b/OCaml/lambda-12/buggy/src.ml
@@ -18,4 +18,4 @@ let rec check (m : lambda) : bool =
     | C (m0, m1) -> check_sub (m0, l) && check_sub (m1, l)
   in
 
-  match m with V s -> raise Invalid_input "V only" | _ -> check_sub (m, [])
+  match m with V s -> raise (Invalid_input "V only") | _ -> check_sub (m, [])