--- typing/typer.ml 2007/07/10 17:00:28 44 +++ typing/typer.ml 2007/07/10 17:00:40 45 @@ -387,7 +387,8 @@ { Typed.br_typ = Types.empty; Typed.br_branches = b; - Typed.br_accept = !accept + Typed.br_accept = !accept; + Typed.br_compiled = None; } )