diff options
-rw-r--r-- | sources/scalac/transformer/matching/RightTracerInScala.java | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/sources/scalac/transformer/matching/RightTracerInScala.java b/sources/scalac/transformer/matching/RightTracerInScala.java index e103958b11..0911f7990e 100644 --- a/sources/scalac/transformer/matching/RightTracerInScala.java +++ b/sources/scalac/transformer/matching/RightTracerInScala.java @@ -336,8 +336,7 @@ public class RightTracerInScala extends TracerInScala { // "freshening" - scalac.ast.SubstTransformer st = new SubstTransformer(cf.unit.global, cf.make); - st.pushSymbolSubst( freshenMap ); + TreeCloner st = new TreeCloner(cf.unit.global, freshenMap, Type.IdMap ); pat = st.transform( pat ); //System.out.println("RightTracerInScala:: -pat( after subst ) :"+pat); |