From e045d5bdab06b3605135998420623639815a96df Mon Sep 17 00:00:00 2001
From: xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e>
Date: Fri, 8 Sep 2006 15:44:32 +0000
Subject: [PATCH] MAJ

git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@88 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
---
 extraction/.depend | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/extraction/.depend b/extraction/.depend
index aa7e42aa2..e70b567e8 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 \
-- 
GitLab