diff options
| author | buraq <buraq@epfl.ch> | 2003-07-13 11:42:27 +0000 |
|---|---|---|
| committer | buraq <buraq@epfl.ch> | 2003-07-13 11:42:27 +0000 |
| commit | 1935d7178d9fde62ef32be8f61040eca79810178 (patch) | |
| tree | 26cb043e0a6cea8e655fe686a7f757ca815ebb85 | |
| parent | a943d3cf9536c5e397f50e5ce53b5ea6d8d5693e (diff) | |
| download | scala-1935d7178d9fde62ef32be8f61040eca79810178.tar.gz scala-1935d7178d9fde62ef32be8f61040eca79810178.tar.bz2 scala-1935d7178d9fde62ef32be8f61040eca79810178.zip | |
temporary hack
| -rw-r--r-- | sources/scala/Predef.scala | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/sources/scala/Predef.scala b/sources/scala/Predef.scala index db81ed9576..35ff71593b 100644 --- a/sources/scala/Predef.scala +++ b/sources/scala/Predef.scala @@ -42,6 +42,8 @@ object Predef { type Triple = Tuple3; def Triple[a, b, c](x: a, y: b, z: c) = Tuple3(x, y, z); + // temporary type Trace = SeqTrace; + type consTrace = SeqTraceCons; type emptyTrace = SeqTraceNil; } |