diff options
| -rw-r--r-- | src/parseTools.js | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/parseTools.js b/src/parseTools.js index 558f5440..7387bf31 100644 --- a/src/parseTools.js +++ b/src/parseTools.js @@ -361,7 +361,7 @@ var UNINDEXABLE_GLOBALS = set( ); function noticePtr(ptr) { - if (!LibraryManager.loaded) UNINDEXABLE_GLOBALS[ptr] = 1; // we cannot index globals referred to in the library, since they are used there by name + if (!NAMED_GLOBALS && !LibraryManager.loaded) UNINDEXABLE_GLOBALS[ptr] = 1; // we cannot index globals referred to in the library, since they are used there by name } function isIndexableGlobal(ident) { |