From b2ae1b477cb5b77d9e1da059114cb129873d3e0f Mon Sep 17 00:00:00 2001 From: sdw0316 Date: Wed, 8 Nov 2023 17:40:27 +0900 Subject: [PATCH] [fix] lambda-12 syntax --- OCaml/lambda-12/buggy/src.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/OCaml/lambda-12/buggy/src.ml b/OCaml/lambda-12/buggy/src.ml index 945f2d21e..95db508c9 100644 --- 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, [])