diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-12-06 10:01:24 +0100 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2018-02-20 10:03:08 +0100 |
commit | 2aff5c40ba9b40b4e0188b799dde6f31585e356b (patch) | |
tree | cb9c33128918e9eb9a3fa45b7521458e5f7c0e48 /test-suite/bugs/closed/2603.v | |
parent | 79a03d8a491cb153c182c48e2c8a388d682bfcf4 (diff) |
Adding a test for wish #5532.
Diffstat (limited to 'test-suite/bugs/closed/2603.v')
0 files changed, 0 insertions, 0 deletions