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 | 7aa1234891f8831449a573ec067348c89c22692f (patch) | |
| tree | fc5d02dd23fa570c31c1070e88ffbc372a5a66e3 /src/rpcify.sml | |
| parent | 9af4065f1c2bc653ceabb35bc7260d8ce6336fca (diff) | |
Catch attempts to mention multiple versions of the same rooted module
Diffstat (limited to 'src/rpcify.sml')
0 files changed, 0 insertions, 0 deletions