1 files changed, 2 insertions, 2 deletions
diff --git a/sources/examples/typeinf.scala b/sources/examples/typeinf.scala
index 5ff6f03f50..af94f9d3c4 100644
--- a/sources/examples/typeinf.scala
+++ b/sources/examples/typeinf.scala
@@ -40,7 +40,7 @@ case class ListSet[a](elems: List[a]) {
 
 module typeInfer {
 
-  trait Subst extends Function1[Type,Type] {
+  trait Subst with Function1[Type,Type] {
     def lookup(x: Tyvar): Type;
     def apply(t: Type): Type = t match {
       case Tyvar(a) => val u = lookup(Tyvar(a)); if (t == u) t else apply(u);
@@ -159,4 +159,4 @@ module test {
 
   showType(Lam("x", App(App(Var("cons"), Var("x")), Var("nil"))));
 
-}
-\ No newline at end of file
+}