diff options
author | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
---|---|---|
committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-18 18:58:40 -0700 |
commit | 8a0df70ffb8d57d1bd210ce2e1c9522ba0967365 (patch) | |
tree | 3ac2809b04db9cafb22dcab4c69cfd878e074487 /Test/dafny0 | |
parent | 4ce6e734a389716fecaf152781702fafa42f2670 (diff) |
Refactor the error reporting code
The new error reporting system has a simpler interface, isn't tied to the
resolver, and contains error source information.
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions