summaryrefslogtreecommitdiff
path: root/muse
diff options
context:
space:
mode:
authorOri Bernstein <ori@eigenstate.org>2013-12-27 02:33:31 -0500
committerOri Bernstein <ori@eigenstate.org>2013-12-27 02:33:31 -0500
commit3f65d0e80c706fb06d946512d69421209071694e (patch)
tree2d0d42b621f4795dffb5d73ae1c745ab5fcab927 /muse
parent334532827595c538c638dcae7ebecb4d857573f5 (diff)
downloadmc-3f65d0e80c706fb06d946512d69421209071694e.tar.gz
Allow for hidden exports to happen automatically.
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 f0e2f93..ca96593 100644
--- a/muse/muse.c
+++ b/muse/muse.c
@@ -130,6 +130,7 @@ int main(int argc, char **argv)
tyinit(file->file.globls);
for (i = optind; i < argc; i++)
mergeuse(argv[i]);
+ infer(file);
f = fopen(outfile, "w");
writeuse(f, file);
fclose(f);