diff options
Diffstat (limited to 'src/modules.js')
| -rw-r--r-- | src/modules.js | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/modules.js b/src/modules.js index f939395b..fd0ec35e 100644 --- a/src/modules.js +++ b/src/modules.js @@ -266,6 +266,7 @@ var Functions = { var LibraryManager = { library: null, + loaded: false, load: function() { assert(!this.library); @@ -274,6 +275,8 @@ var LibraryManager = { for (var i = 0; i < libraries.length; i++) { eval(processMacros(preprocess(read(libraries[i])))); } + + this.loaded = true; }, // Given an ident, see if it is an alias for something, and so forth, returning |