diff options
| author | ppedrot | 2013-09-18 14:03:45 +0000 |
|---|---|---|
| committer | ppedrot | 2013-09-18 14:03:45 +0000 |
| commit | c14ccd1b8a3855d4eb369be311d4b36a355e46c1 (patch) | |
| tree | 200520406e15532a90f57d400a414a153c4c83b4 /dev/include | |
| parent | 98c3d8f7b81a649906ddf4baf1b123cec66dc5e4 (diff) | |
Removing almost all new_untyped_evar, and a bunch of Evd.add.
Ultimately all evars should be created with respect to a given
evar map, instead of using a global counter.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16783 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'dev/include')
0 files changed, 0 insertions, 0 deletions