diff options
| author | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-05 22:04:33 -0800 |
|---|---|---|
| committer | Andres Noetzli <andres.noetzli@gmail.com> | 2019-11-05 22:04:33 -0800 |
| commit | 8c5d26598656416bda758664a6acc7e431f70278 (patch) | |
| tree | fcc3ef74d77e611eb6b19b2b7467aca1510ecd7a /src/base | |
| parent | dcccaec1155c66f2e52cfe823bc9654c46e3832b (diff) | |
[Regressions] Remove leading whitespace in output
With #3436, we are stripping whitespace off the expected (error) output
but we did not do the same for leading whitespace in the actual input,
leading to failing regressions. This change removes leading whitespace
in the (error) output of CVC4.
Diffstat (limited to 'src/base')
0 files changed, 0 insertions, 0 deletions