diff options
| author | Matthieu Sozeau | 2014-06-04 16:53:20 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-06-04 16:53:20 +0200 |
| commit | 332f092e3a30f8428b28f12c85c0a90e3f6d7171 (patch) | |
| tree | 87db578ae9f16c5d976069c19016f3890966ba73 /kernel/cemitcodes.ml | |
| parent | 2ac8e0edebe0d9a6bde4d997327dbd2ffcde08b6 (diff) | |
Fix canonical structure resolution (makes test-suite files go through again).
Diffstat (limited to 'kernel/cemitcodes.ml')
0 files changed, 0 insertions, 0 deletions