Update src/type/t_synth.ml

Co-authored-by: Damien Doligez <[email protected]>
tlaplus · Jan 24, 2024 · e1bcb89 · e1bcb89
1 parent b5b1a89
commit e1bcb89
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/type/t_synth.ml b/src/type/t_synth.ml
@@ -543,8 +543,8 @@ and expr_aux scx oe =
       in
       let oty02s =
         if typelvl scx > 1 then try
-          Some (List.map (function TSet ty0 -> ty0 | _ -> failwith "") ty01s)
-        with _ -> None
+          Some (List.map (function TSet ty0 -> ty0 | _ -> raise Exit) ty01s)
+        with Exit -> None
         else None
       in
       begin match oty02s with