Forgot to commit the change in the simplifier.

2019-10-13 20:15:50 +02:00 · 2019-10-13 20:15:50 +02:00 · 89971f31d0
commit 89971f31d0
parent f634d36b76
1 changed files with 3 additions and 3 deletions
--- a/src/passes/2-simplify/pascaligo.ml
+++ b/src/passes/2-simplify/pascaligo.ml
@ -886,7 +886,7 @@ and simpl_cases : type a . (Raw.pattern * a) list -> a matching result = fun t -
        | [] -> ok x'
        | _ -> ok t
      )
-    | _ -> fail @@ corner_case ~loc:__LOC__ "unexpected pattern" in
+    | pattern -> ok pattern in
  let get_constr (t: Raw.pattern) =
    match t with
    | PConstr v -> (