diff options
| author | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-10-01 14:36:51 +0200 |
|---|---|---|
| committer | Bernhard Schommer <bernhardschommer@gmail.com> | 2019-10-01 14:36:51 +0200 |
| commit | ca5f8a7629a6e31cc287139ad0a69b8154514260 (patch) | |
| tree | 6c89dc214632d90b84d8d6fb2f3e6384bf0c20e4 /lib/Ordered.v | |
| parent | 8caef13011cb21377b4f6d3734109fb41d1f81bd (diff) | |
| download | compcert-kvx-ca5f8a7629a6e31cc287139ad0a69b8154514260.tar.gz compcert-kvx-ca5f8a7629a6e31cc287139ad0a69b8154514260.zip | |
Remove duplicated ticks.
Diffstat (limited to 'lib/Ordered.v')
0 files changed, 0 insertions, 0 deletions