diff options
author | 2017-05-30 12:32:53 -0400 | |
---|---|---|
committer | 2017-05-30 12:35:58 -0400 | |
commit | 192fe7b7b7cc552fcdfa36015aeb8f2498f65b74 (patch) | |
tree | 4da25d6418830a0d9e136db942d18265a588827f /plugins/extraction/ExtrHaskellZInt.v | |
parent | fd36c0451c26e44b1b7e93299d3367ad2d35fee3 (diff) |
Fix empty parentheses display in test-suite
There was an extra trailing space in #680.
Now things display as, e.g.,
```
TEST bugs/opened/3754.v
TEST bugs/opened/4803.v (-compat 8.4)
```
instead of
```
TEST bugs/opened/3754.v ( )
TEST bugs/opened/4803.v (-compat 8.4 )
```
Diffstat (limited to 'plugins/extraction/ExtrHaskellZInt.v')
0 files changed, 0 insertions, 0 deletions