diff options
author | Philip Hazel <ph10@hermes.cam.ac.uk> | 2006-10-03 10:25:55 +0000 |
---|---|---|
committer | Philip Hazel <ph10@hermes.cam.ac.uk> | 2006-10-03 10:25:55 +0000 |
commit | e6f6568e74c9aeb07d8cb02ecb1d997284eb885f (patch) | |
tree | 0e830f2dfb76860d3d12abc2cf15db5b48427e79 /test/stderr/0139 | |
parent | ff75a1f763cb8ff03437de60b73491bb20cc76ba (diff) |
Fix misleading verification output when -v is used with -bv and aliasing
leads to a mixture of successful and unsuccessful verification.
Diffstat (limited to 'test/stderr/0139')
0 files changed, 0 insertions, 0 deletions