diff options
author | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-30 22:16:09 +0000 |
---|---|---|
committer | msozeau <msozeau@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2011-06-30 22:16:09 +0000 |
commit | ae95b79d0912a7b1a5370854cb6fb1aadb1db6b2 (patch) | |
tree | 2329f528a03f15cd4cc812a83ee7bddab807ac0d /theories/PArith | |
parent | 1de7cbeacb073d83ee58c9a1dd56b8c411ed4a0c (diff) |
Fix compilation error
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14252 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/PArith')
0 files changed, 0 insertions, 0 deletions