diff options
| author | Vincent Laporte | 2019-10-11 12:45:53 +0000 |
|---|---|---|
| committer | Vincent Laporte | 2019-10-16 09:25:24 +0000 |
| commit | e500c71e46e6ff252455b9698addedb101662994 (patch) | |
| tree | af48fa2d87132bdae316e76f07ff8a3c11d4d6bb /dev | |
| parent | 5d82451d6d6f591ad81919d8e6529cee48474b9e (diff) | |
[engine] Remove UnivGen.global_of_constr
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/doc/changes.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/dev/doc/changes.md b/dev/doc/changes.md index ab9df12766..8ab00c6fd8 100644 --- a/dev/doc/changes.md +++ b/dev/doc/changes.md @@ -2,6 +2,8 @@ ### ML API +- Function UnivGen.global_of_constr has been removed. + - Functions and types deprecated in 8.10 have been removed in Coq 8.11. |