Commit d8ab246a authored by Martin Clochard's avatar Martin Clochard

eval_match: definitions containing epsilon terms are not inlined anymore

parent 800e295e
......@@ -148,7 +148,7 @@ let eval_match ~inline kn t =
let rec linear vars t = match t.t_node with
| Tvar x -> Svs.add_new Exit x vars
| Tif _ -> raise Exit
| Tif _ | Teps _ -> raise Exit
| _ -> t_fold linear vars t
let linear t =
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment