Fix dist/bin/dotr

felixmulder · felixmulder · commit 8534d69928d1 · 2017-08-28T12:11:14.000+02:00
diff --git a/dist/bin/dotc b/dist/bin/dotc
@@ -32,7 +32,7 @@ bootcp=true
 
 CompilerMain=dotty.tools.dotc.Main
 FromTasty=dotty.tools.dotc.FromTasty
-ReplMain=dotty.tools.dotc.repl.Main
+ReplMain=dotty.tools.repl.Main
 
 PROG_NAME=$CompilerMain
 
