diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-05 12:05:19 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-05 12:05:19 -0400 |
commit | 60a994326dab3c23d7dd7ab9ff4538c06329e277 (patch) | |
tree | ce519c2322c30780cc4a8cfe9f6f772b47719bc1 /src/elab_util.sml | |
parent | 3b3f14a1c2021f307e9290ec8fba64d6c791a93a (diff) |
Initialize contexts a little more vigorously
Diffstat (limited to 'src/elab_util.sml')
0 files changed, 0 insertions, 0 deletions