diff options
| author | Emilio Jesus Gallego Arias | 2018-06-06 12:19:45 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-06-06 12:19:45 +0200 |
| commit | feeca0b0aea725820e459d47498408449c1b21a5 (patch) | |
| tree | a903e267bbc98a2993a8457b5d7ac1b035cdeb4c /kernel/type_errors.ml | |
| parent | f6538f1a7f8ad2bdc0bc446d4ca35078d55d63ee (diff) | |
[ci] Temporal fix for CompCert
https://github.com/AbsInt/CompCert/issues/234
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions