diff options
| author |  Adam Chlipala <adamc@hcoop.net> | 2009-12-25 10:48:02 -0500 |
|---|---|---|
| committer | Adam Chlipala <adamc@hcoop.net> | 2009-12-25 10:48:02 -0500 |
| commit | 4300120544123e9dfb262eb8b4e3d0a0f17ff9bc (patch) | |
| tree | fc5d02dd23fa570c31c1070e88ffbc372a5a66e3 /src/elab.sml | |
| parent | 0d909d67d931ab05fe4ca3db9f6dc9d13118556e (diff) | |
Catch attempts to mention multiple versions of the same rooted module
Diffstat (limited to 'src/elab.sml')
0 files changed, 0 insertions, 0 deletions