diff options
| author |  xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-08 15:44:32 +0000 |
|---|---|---|
| committer | xleroy <xleroy@fca1b0fc-160b-0410-b1d3-a4f43f01ea2e> | 2006-09-08 15:44:32 +0000 |
| commit | e045d5bdab06b3605135998420623639815a96df (patch) | |
| tree | e94c4dc49fcd29c4e276f3d11d1504ec4d3441c1 /extraction | |
| parent | b068e4229062a84548c1ae20487b273ea6bb37db (diff) | |
MAJ
git-svn-id: https://yquem.inria.fr/compcert/svn/compcert/trunk@88 fca1b0fc-160b-0410-b1d3-a4f43f01ea2e
Diffstat (limited to 'extraction')
| -rw-r--r-- | extraction/.depend | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extraction/.depend b/extraction/.depend index aa7e42a..e70b567 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 \ |