nettoyage extraction

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1737 85f007b7-540e-0410-9357-904b9bb8a0f7

1 files changed, 18 insertions, 18 deletions

diff --git a/contrib/extraction/test/.depend b/contrib/extraction/test/.depend
index 9dce03ce3e..4c3bd7181f 100644
--- a/contrib/extraction/test/.depend
+++ b/contrib/extraction/test/.depend
@@ -1,7 +1,3 @@
-theories/Init/peano.cmo: theories/Init/datatypes.cmo 
-theories/Init/peano.cmx: theories/Init/datatypes.cmx 
-theories/Init/specif.cmo: theories/Init/datatypes.cmo 
-theories/Init/specif.cmx: theories/Init/datatypes.cmx 
 theories/Arith/plus.cmo: theories/Init/datatypes.cmo theories/Init/specif.cmo 
 theories/Arith/plus.cmx: theories/Init/datatypes.cmx theories/Init/specif.cmx 
 theories/Arith/minus.cmo: theories/Init/datatypes.cmo 
@@ -56,6 +52,10 @@ theories/Bool/boolEq.cmo: theories/Init/datatypes.cmo \
     theories/Init/specif.cmo 
 theories/Bool/boolEq.cmx: theories/Init/datatypes.cmx \
     theories/Init/specif.cmx 
+theories/Init/peano.cmo: theories/Init/datatypes.cmo 
+theories/Init/peano.cmx: theories/Init/datatypes.cmx 
+theories/Init/specif.cmo: theories/Init/datatypes.cmo 
+theories/Init/specif.cmx: theories/Init/datatypes.cmx 
 theories/Lists/polyList.cmo: theories/Init/datatypes.cmo \
     theories/Init/specif.cmo 
 theories/Lists/polyList.cmx: theories/Init/datatypes.cmx \
@@ -126,6 +126,14 @@ theories/IntMap/adalloc.cmx: theories/IntMap/addec.cmx \
     theories/IntMap/addr.cmx theories/Init/datatypes.cmx \
     theories/ZArith/fast_integer.cmx theories/IntMap/map.cmx \
     theories/Init/specif.cmx theories/Bool/sumbool.cmx 
+theories/IntMap/mapiter.cmo: theories/IntMap/addec.cmo \
+    theories/IntMap/addr.cmo theories/Init/datatypes.cmo \
+    theories/IntMap/map.cmo theories/Lists/polyList.cmo \
+    theories/Init/specif.cmo theories/Bool/sumbool.cmo 
+theories/IntMap/mapiter.cmx: theories/IntMap/addec.cmx \
+    theories/IntMap/addr.cmx theories/Init/datatypes.cmx \
+    theories/IntMap/map.cmx theories/Lists/polyList.cmx \
+    theories/Init/specif.cmx theories/Bool/sumbool.cmx 
 theories/IntMap/lsort.cmo: theories/IntMap/addec.cmo theories/IntMap/addr.cmo \
     theories/Bool/bool.cmo theories/Init/datatypes.cmo \
     theories/ZArith/fast_integer.cmo theories/IntMap/mapiter.cmo \
@@ -136,14 +144,6 @@ theories/IntMap/lsort.cmx: theories/IntMap/addec.cmx theories/IntMap/addr.cmx \
     theories/ZArith/fast_integer.cmx theories/IntMap/mapiter.cmx \
     theories/Lists/polyList.cmx theories/Init/specif.cmx \
     theories/Bool/sumbool.cmx 
-theories/IntMap/mapiter.cmo: theories/IntMap/addec.cmo \
-    theories/IntMap/addr.cmo theories/Init/datatypes.cmo \
-    theories/IntMap/map.cmo theories/Lists/polyList.cmo \
-    theories/Init/specif.cmo theories/Bool/sumbool.cmo 
-theories/IntMap/mapiter.cmx: theories/IntMap/addec.cmx \
-    theories/IntMap/addr.cmx theories/Init/datatypes.cmx \
-    theories/IntMap/map.cmx theories/Lists/polyList.cmx \
-    theories/Init/specif.cmx theories/Bool/sumbool.cmx 
 theories/IntMap/mapsubset.cmo: theories/Bool/bool.cmo \
     theories/Init/datatypes.cmo theories/IntMap/fset.cmo \
     theories/IntMap/map.cmo theories/IntMap/mapiter.cmo 
@@ -176,12 +176,6 @@ theories/IntMap/maplists.cmx: theories/IntMap/addec.cmx \
     theories/Init/datatypes.cmx theories/IntMap/map.cmx \
     theories/IntMap/mapiter.cmx theories/Lists/polyList.cmx \
     theories/Init/specif.cmx theories/Bool/sumbool.cmx 
-theories/ZArith/wf_Z.cmo: theories/Init/datatypes.cmo \
-    theories/ZArith/fast_integer.cmo theories/Init/peano.cmo \
-    theories/Init/specif.cmo 
-theories/ZArith/wf_Z.cmx: theories/Init/datatypes.cmx \
-    theories/ZArith/fast_integer.cmx theories/Init/peano.cmx \
-    theories/Init/specif.cmx 
 theories/ZArith/fast_integer.cmo: theories/Init/datatypes.cmo \
     theories/Init/peano.cmo 
 theories/ZArith/fast_integer.cmx: theories/Init/datatypes.cmx \
@@ -190,6 +184,12 @@ theories/ZArith/zarith_aux.cmo: theories/Init/datatypes.cmo \
     theories/ZArith/fast_integer.cmo 
 theories/ZArith/zarith_aux.cmx: theories/Init/datatypes.cmx \
     theories/ZArith/fast_integer.cmx 
+theories/ZArith/wf_Z.cmo: theories/Init/datatypes.cmo \
+    theories/ZArith/fast_integer.cmo theories/Init/peano.cmo \
+    theories/Init/specif.cmo 
+theories/ZArith/wf_Z.cmx: theories/Init/datatypes.cmx \
+    theories/ZArith/fast_integer.cmx theories/Init/peano.cmx \
+    theories/Init/specif.cmx 
 theories/ZArith/zArith_dec.cmo: theories/ZArith/fast_integer.cmo \
     theories/Init/specif.cmo theories/Bool/sumbool.cmo 
 theories/ZArith/zArith_dec.cmx: theories/ZArith/fast_integer.cmx \