diff options
| -rw-r--r-- | src/runtime.js | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/runtime.js b/src/runtime.js index 0674f624..51fbbdb3 100644 --- a/src/runtime.js +++ b/src/runtime.js @@ -316,9 +316,9 @@ var Runtime = { }, warnOnce: function(text) { - if (!warnOnce.shown) warnOnce.shown = {}; - if (!warnOnce.shown[text]) { - warnOnce.shown[text] = 1; + if (!Runtime.warnOnce.shown) Runtime.warnOnce.shown = {}; + if (!Runtime.warnOnce.shown[text]) { + Runtime.warnOnce.shown[text] = 1; Module.printErr(text); } }, |