1 files changed, 7 insertions, 9 deletions
diff --git a/test/files/run/gadts.scala b/test/files/run/gadts.scala
index 36d6fc9530..11b094d99a 100644
--- a/test/files/run/gadts.scala
+++ b/test/files/run/gadts.scala
@@ -1,10 +1,10 @@
-abstract class Term[T];
-case class Lit(x: int) extends Term[int];
-case class Succ(t: Term[int]) extends Term[int];
-case class IsZero(t: Term[int]) extends Term[boolean];
-case class If[T](c: Term[boolean],
+abstract class Term[T]
+case class Lit(x: Int) extends Term[Int]
+case class Succ(t: Term[Int]) extends Term[Int]
+case class IsZero(t: Term[Int]) extends Term[Boolean]
+case class If[T](c: Term[Boolean],
                  t1: Term[T],
-                 t2: Term[T]) extends Term[T];
+                 t2: Term[T]) extends Term[T]
 
 object Test extends Application {
   def eval[T](t: Term[T]): T = t match {
@@ -13,7 +13,5 @@ object Test extends Application {
     case IsZero(u)     => eval(u) == 0
     case If(c, u1, u2) => eval(if (eval(c)) u1 else u2)
   }
-  Console.println(
-    eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41)))))
+  println(eval(If(IsZero(Lit(1)), Lit(41), Succ(Lit(41)))))
 }
-