diff options
| author |  qunyanm <unknown> | 2016-03-21 11:45:14 -0700 |
|---|---|---|
| committer | qunyanm <unknown> | 2016-03-21 11:45:14 -0700 |
| commit | a89b9aee05dff74345a79f8fb4fe0fe3fdbb17ad (patch) | |
| tree | 251401e34f6ddbc73623e63f3f6d6637b2d0d088 /Source/DafnyServer/Utilities.cs | |
| parent | acbc126c01fee3ab71647a7b16f4dcfc80eee2ea (diff) | |
Update module export error messages. Also for "import Y" if there is at least
one exported view, but no exported view is marked as default, then it is an
error.
Diffstat (limited to 'Source/DafnyServer/Utilities.cs')
0 files changed, 0 insertions, 0 deletions