diff --git a/extraction/.depend b/extraction/.depend
index aa7e42aa2cb9d89263c56c134892bd987314a349..e70b567e8e4d2f871d0c72b686015c395a2ea20e 100644
--- a/extraction/.depend
+++ b/extraction/.depend
@@ -9,9 +9,9 @@
 ../caml/Camlcoq.cmx: Integers.cmx Datatypes.cmx CList.cmx BinPos.cmx \
     BinInt.cmx 
 ../caml/Cil2Csyntax.cmo: Datatypes.cmi Csyntax.cmi ../caml/Camlcoq.cmo \
-    CList.cmi BinInt.cmi AST.cmi 
+    CList.cmi AST.cmi 
 ../caml/Cil2Csyntax.cmx: Datatypes.cmx Csyntax.cmx ../caml/Camlcoq.cmx \
-    CList.cmx BinInt.cmx AST.cmx 
+    CList.cmx AST.cmx 
 ../caml/CMlexer.cmo: ../caml/Camlcoq.cmo ../caml/CMparser.cmi \
     ../caml/CMlexer.cmi 
 ../caml/CMlexer.cmx: ../caml/Camlcoq.cmx ../caml/CMparser.cmx \