empty

rjolly · Oct 13, 2020 · 051b99e · 051b99e
1 parent 1ebbf9e
commit 051b99e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/init.js b/init.js
@@ -409,7 +409,7 @@ function classpath() {
     return java.lang.System.getProperty("java.class.path");
 }
 
-// requires ch.epfl.lamp#dotty-compiler_0.25;0.25.0-RC2
+// requires ch.epfl.lamp#dotty-compiler_0.27;0.27.0-RC1
 
 function dotc(srcDir, destDir, options) {
     if (srcDir == undefined) {