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/aux-fixed/0129.domains | |
| 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/aux-fixed/0129.domains')
0 files changed, 0 insertions, 0 deletions