diff options
| -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; } |