diff options
author | 2015-11-01 12:23:44 -0500 | |
---|---|---|
committer | 2015-11-01 12:23:44 -0500 | |
commit | 7f6d55c4b44a7e17d17b721e0d5a967f3c5fa6aa (patch) | |
tree | ecfdb7a95770edea0c257496433da40eee9ad482 /src/elab_util.sml | |
parent | 3cf49898acbf6701b04a1de4938241f1009c5e5a (diff) |
Better client-side error messages for RPC failures
Diffstat (limited to 'src/elab_util.sml')
0 files changed, 0 insertions, 0 deletions