diff options
| author | Pierre-Marie Pédrot | 2016-09-16 10:47:23 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2016-09-16 10:49:10 +0200 |
| commit | 9513eeb058f620d8a062c183253212da4b4566d3 (patch) | |
| tree | 4916d2c925809f24c085f5572cc1e02c8d03343c /mathcomp/_CoqProject | |
| parent | 3b97308b6314e34d78a6f14c8173956aa64bd026 (diff) | |
Fix compilation after change in CErrors API.
Diffstat (limited to 'mathcomp/_CoqProject')
0 files changed, 0 insertions, 0 deletions