diff options
| author | Matthieu Sozeau | 2014-09-11 11:21:38 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-11 13:30:33 +0200 |
| commit | 12ef55e112a1ccfe00c8880e0ba5958e02ab97e1 (patch) | |
| tree | ce90736b1e1b1032884d8cee832f808553d27d70 /kernel/type_errors.mli | |
| parent | 6e2b4a66b9f176555eb541cbee762d3cf3fc183c (diff) | |
Fix bug #3596, wrong treatment of projections in compute_constelim_direct.
Diffstat (limited to 'kernel/type_errors.mli')
0 files changed, 0 insertions, 0 deletions