diff options
| author |  Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 11:53:00 -0700 |
|---|---|---|
| committer | Clément Pit--Claudel <clement.pitclaudel@live.com> | 2015-08-20 11:53:00 -0700 |
| commit | 4b7ef1b817fe00bc32294b75797e7e264e2edbdd (patch) | |
| tree | afaa7e469ea904e7bc5b17efaeb19c36ed6657b4 /Test/dafny0 | |
| parent | 75e436019003604ea3118a13ccd9b6ea079c643f (diff) | |
Move indentation of error messages to the ConsoleErrorReporter
This indentation is just needed by CLI-based clients
Diffstat (limited to 'Test/dafny0')
0 files changed, 0 insertions, 0 deletions