From 466ef4d1215d9274f70d83a06a9f87a58b778435 Mon Sep 17 00:00:00 2001
From: Matthias Zenger <mzenger@gmail.com>
Date: Tue, 10 Feb 2004 21:49:50 +0000
Subject: - Adapted examples to the new syntax.

---
 sources/examples/typeinf.scala | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'sources/examples/typeinf.scala')

diff --git a/sources/examples/typeinf.scala b/sources/examples/typeinf.scala
index 77976be656..d55e2f7c8d 100644
--- a/sources/examples/typeinf.scala
+++ b/sources/examples/typeinf.scala
@@ -98,7 +98,7 @@ object typeInfer {
 	else mgu(u.newInstance, t, s)
 
       case Lam(x, e1) =>
-	val a = newTyvar(), b = newTyvar();
+	val a, b = newTyvar();
 	val s1 = mgu(t, Arrow(a, b), s);
 	val env1 = Pair(x, TypeScheme(List(), a)) :: env;
 	tp(env1, e1, b, s1)
-- 
cgit v1.2.3