summaryrefslogtreecommitdiff
path: root/config
diff options
context:
space:
mode:
authormihaylov <mihaylov@epfl.ch>2004-11-16 16:46:47 +0000
committermihaylov <mihaylov@epfl.ch>2004-11-16 16:46:47 +0000
commitc78c1e3efd2c8171e09e974eb8569ac213357b0d (patch)
tree7fd3122205a6b6c6aa325cc31632e730087c870b /config
parent358371050ddb042db59e4ee932e582a5f2cc687e (diff)
downloadscala-c78c1e3efd2c8171e09e974eb8569ac213357b0d.tar.gz
scala-c78c1e3efd2c8171e09e974eb8569ac213357b0d.tar.bz2
scala-c78c1e3efd2c8171e09e974eb8569ac213357b0d.zip
Added scala.runtime.compat.Platform
Diffstat (limited to 'config')
-rw-r--r--config/list/library.lst2
1 files changed, 2 insertions, 0 deletions
diff --git a/config/list/library.lst b/config/list/library.lst
index b87b14ad94..6b9fa929a0 100644
--- a/config/list/library.lst
+++ b/config/list/library.lst
@@ -158,6 +158,8 @@ runtime/ResultOrException.java
runtime/RunTime.java
runtime/ScalaRunTime.scala
+runtime/compat/Platform.scala
+
runtime/matching/Address.scala
#runtime/matching/Matcher.scala
runtime/matching/NonTerm.scala