summaryrefslogtreecommitdiff
path: root/muse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2018-01-18 17:42:33 -0800
committerOri Bernstein <ori@markovcorp.com>2018-01-18 17:42:33 -0800
commitde0004795f6ad26c283391895999f3ac721de69f (patch)
tree5d97ab09a7da34eb8e21370efd6936a392321054 /muse
parent490e90d2122d80bce4e5f710e046b90fc9cc31ca (diff)
downloadmc-de0004795f6ad26c283391895999f3ac721de69f.tar.gz
Add 'loaduses()' to muse.
Doesn't make much of a difference, but we should do it anyways.
Diffstat (limited to 'muse')
-rw-r--r--muse/muse.c1
1 files changed, 1 insertions, 0 deletions
diff --git a/muse/muse.c b/muse/muse.c
index 5ef9dea..d1ba0cf 100644
--- a/muse/muse.c
+++ b/muse/muse.c
@@ -104,6 +104,7 @@ main(int argc, char **argv)
tyinit(file->file.globls);
for (i = 0; i < ctx.nargs; i++)
mergeuse(ctx.args[i]);
+ loaduses();
infer();
tagexports(1);
addextlibs(extralibs, nextralibs);