diff options
| author | letouzey | 2008-03-19 21:17:28 +0000 |
|---|---|---|
| committer | letouzey | 2008-03-19 21:17:28 +0000 |
| commit | 3a304ad8434e1c4f5428159aaa029f4b7734685e (patch) | |
| tree | bc61c72e6c33cb98b04334e48368900443a9286d /pretyping/typeclasses_errors.ml | |
| parent | 509cd11ac957c0ff97cbe9a0cd50852c74095e36 (diff) | |
some references to IntMap forgotten in last commit
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@10700 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'pretyping/typeclasses_errors.ml')
0 files changed, 0 insertions, 0 deletions