summaryrefslogtreecommitdiff
path: root/theories/Compat/vo.itarget
diff options
context:
space:
mode:
Diffstat (limited to 'theories/Compat/vo.itarget')
-rw-r--r--theories/Compat/vo.itarget1
1 files changed, 1 insertions, 0 deletions
diff --git a/theories/Compat/vo.itarget b/theories/Compat/vo.itarget
index c0c40ab1..43b19700 100644
--- a/theories/Compat/vo.itarget
+++ b/theories/Compat/vo.itarget
@@ -1,2 +1,3 @@
+AdmitAxiom.vo
Coq84.vo
Coq85.vo