diff options
author | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-07-13 12:21:37 +0200 |
---|---|---|
committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2017-11-23 12:57:48 +0100 |
commit | 446b265f5d1f6e6828a7f653b1f648ebdf768321 (patch) | |
tree | 97e5ac9077264c774e871b201137ae4871100a34 /test-suite/bugs/closed/3377.v | |
parent | 1b09c7b0802c85ea72931720a7cb4fbf9ab5e211 (diff) |
Recognizing Z in romega up to conversion.
Diffstat (limited to 'test-suite/bugs/closed/3377.v')
0 files changed, 0 insertions, 0 deletions