indentation

1 files changed, 20 insertions, 12 deletions

diff --git a/sources/scala/SeqTraceCons.scala b/sources/scala/SeqTraceCons.scala
index 1ed1f6ec54..852f42c651 100644
--- a/sources/scala/SeqTraceCons.scala
+++ b/sources/scala/SeqTraceCons.scala
@@ -1,22 +1,30 @@
-package scala;
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2003, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |                                         **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
 
-  /** nonempty SeqTrace
-   */
-  final case class SeqTraceCons[ b ]( hdI:Int, hdb:b, tl: SeqTrace[ b ] )
-    extends SeqTrace[ b ]  {
+// $Id$
 
-	  def isEmpty = false;
+package scala;
 
-	  def head = Tuple2( hdI, hdb );
+/** nonempty SeqTrace
+  */
+final case class SeqTraceCons[A](hdI: Int, hdb: A, tl: SeqTrace[A])
+    extends SeqTrace[A] {
 
-	  def headState = hdI;
+    def isEmpty = false;
 
-	  def headElem  = hdb;
+    def head = Pair(hdI, hdb);
 
-	  def tail:SeqTrace[ b ] = tl;
+    def headState = hdI;
 
-	  //override def toString(): String = mkString2("[ ", "; ", " ]");
+    def headElem  = hdb;
 
-    }
+    def tail:SeqTrace[A] = tl;
 
+    //override def toString(): String = mkString2("[ ", "; ", " ]");
 
+}