frog/frogsh

Index: frog/frogsh
diff --git a/frog/frogsh b/frog/frogsh
index 532821afc9f1eebfbc90c64af0a9f5e5a8e96eb8..a8a3d9bbb993607052c41a8d1184f52a5ee1b125 100755
--- a/frog/frogsh
+++ b/frog/frogsh
@@ -24095,7 +24095,10 @@ World.prototype.runLeg = function() {
 }
 World.prototype.runCompilationPhases = function() {
   var $this = this; // closure support
-  var lib = this.withTiming('first pass', this.get$processDartScript());
+  var lib = this.withTiming('first pass', (function () {
+    return $this.processDartScript();
+  })
+  );
   this.withTiming('resolve top level', this.get$resolveAll());
   if ($globals.experimentalAwaitPhase != null) {
     this.withTiming('await translation', to$call$0($globals.experimentalAwaitPhase));
@@ -24152,14 +24155,12 @@ World.prototype.process = function() {
     }
   }
 }
-World.prototype.processDartScript = function() {
-  var library = this.getOrAddLibrary($globals.options.dartScript);
+World.prototype.processDartScript = function(script) {
+  if (script == null) script = $globals.options.dartScript;
+  var library = this.getOrAddLibrary(script);
   this.process();
   return library;
 }
-World.prototype.get$processDartScript = function() {
-  return World.prototype.processDartScript.bind(this);
-}
 World.prototype.resolveAll = function() {
   var $$list = this.libraries.getValues();
   for (var $$i = this.libraries.getValues().iterator$0(); $$i.hasNext$0(); ) {