diff options
| author |  ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-01-06 20:42:21 +0000 |
|---|---|---|
| committer | ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-01-06 20:42:21 +0000 |
| commit | 90879a761a94bc9f36cdf1468da1d459c08a0cd7 (patch) | |
| tree | 24a5969fa1c85cf92ff4c774d3c43109cc746554 /theories/Classes | |
| parent | 019d79a2be152734c9b6a57bfa66a5b862a4e4b9 (diff) | |
Fixed the itarget of the previous commit...
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14888 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'theories/Classes')
| -rw-r--r-- | theories/Classes/vo.itarget | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/theories/Classes/vo.itarget b/theories/Classes/vo.itarget index a4b5d664e..75024b947 100644 --- a/theories/Classes/vo.itarget +++ b/theories/Classes/vo.itarget @@ -1,4 +1,4 @@ -DecidableClass.v +DecidableClass.vo Equivalence.vo EquivDec.vo Init.vo |