diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-02-11 11:06:05 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-02-11 11:06:05 +0000 |
| commit | 12ca03ff230adb011e7b10acd6645e97374f1c65 (patch) | |
| tree | 1473f174ba8ce56bdb07b41aff590981c0bae793 /pretyping/evarconv.ml | |
| parent | 2d8c70b3380d899c2717d00f2f27b4c6aefa2322 (diff) | |
compatibility <3.12 (Map.exists Map.singleton)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@13829 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/evarconv.ml')
0 files changed, 0 insertions, 0 deletions