diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2015-07-03 01:14:17 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2015-07-03 01:16:50 +0200 |
| commit | 6482ca75a39709e65de676d533b3d115ad2b1153 (patch) | |
| tree | 5dd0d6b0a719602a5b9bd1b42cf9520b04ebc1da /tools/coqdep_common.ml | |
| parent | 44f45f58dc0a169286c9fcfa7d2edbc8bc04673b (diff) | |
Fix convertibility of primitive projections for native_compute.
Stuck primitive projections were never convertible.
Diffstat (limited to 'tools/coqdep_common.ml')
0 files changed, 0 insertions, 0 deletions