inline_trivial: terms containing epsilons are non-trivial

7780bfbb · Martin Clochard · Guillaume Melquiond · 28854bb9 · 7780bfbb
Commit 7780bfbb authored Jul 04, 2016 by Martin Clochard Committed by Guillaume Melquiond Jul 05, 2016
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

src/transform/inlining.ml src/transform/inlining.ml +1 -0

No files found.
--- a/src/transform/inlining.ml
+++ b/src/transform/inlining.ml
@@ -104,6 +104,7 @@ let trivial tl =
  let add vs t = match t.t_node with
    | Tvar v when Mvs.mem v vs -> raise Util.FoldSkip
    | Tvar v -> Svs.add v vs
+    | Teps _ -> raise Util.FoldSkip
    | _ when t_closed t -> vs
    | _ -> raise Util.FoldSkip
  in