diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:34:38 +0200 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-04-27 21:52:43 +0200 |
| commit | cd139311ecd872301077b9db2df812a828ce2e77 (patch) | |
| tree | ed253a65a1a47df06d2bb1784bb62207782b83cc /test-suite/success/set.v | |
| parent | 3e57bde4e0ff1b9f65976f2de4d48a78131d4db3 (diff) | |
Fixing an incompatility introduced in a404360: kernel conversion was
not considering conversion of constants over their canonical name but
on their user name. This is observable when delta is off.
Diffstat (limited to 'test-suite/success/set.v')
0 files changed, 0 insertions, 0 deletions