diff options
| author | Emilio Jesus Gallego Arias | 2018-02-14 02:06:02 +0100 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2018-03-01 01:44:12 +0100 |
| commit | ba27c2e21f80b41dfd837e6c6b15f82ca405cf04 (patch) | |
| tree | 679e347ebcefda7a020cebf0044825c72b88c9ee /dev/include | |
| parent | 5cb74f82165e88c5e527ad757b007df1fbe5f1b3 (diff) | |
[coq] Adapt to coq/coq#6511
coq/coq#6511 contains EConstr-related changes.
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions