diff options
| author | Pierre-Marie Pédrot | 2015-10-21 14:55:12 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2015-10-21 17:00:16 +0200 |
| commit | 0935b4565a8c1760570d0037b8b4cff745c3885c (patch) | |
| tree | d2cdc89c97bf093af3196a04da2b0c755b0e8066 /kernel/type_errors.ml | |
| parent | 426ba79b270299f64a4498187adad717760d11bc (diff) | |
Removing the dependencies of Pcoq in IFDEF macros.
Diffstat (limited to 'kernel/type_errors.ml')
0 files changed, 0 insertions, 0 deletions