diff options
Diffstat (limited to 'extraction/.depend')
| -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 \ |