freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly2 / depends

diff --git a/helm/software/matita/contribs/ng_assembly2/depends b/helm/software/matita/contribs/ng_assembly2/depends
index fc6f53f6be010711c40a066fdc640526cbb1277f..a1fff45d711a07349967e62b03050b9a81702f71 100644 (file)
--- a/helm/software/matita/contribs/ng_assembly2/depends
+++ b/helm/software/matita/contribs/ng_assembly2/depends
@@ -35,7 +35,7 @@ emulator/opcodes/RS08_table_tests.ma emulator/opcodes/RS08_table.ma emulator/opc
 emulator/multivm/multivm_base.ma emulator/status/status_setter.ma
 compiler/environment.ma common/string.ma compiler/ast_type.ma
 emulator/read_write/IP2022_read_write.ma emulator/read_write/read_write_base.ma emulator/status/status_setter.ma
-emulator/translation/translation_base.ma emulator/opcodes/HC05_table.ma emulator/opcodes/HC08_table.ma emulator/opcodes/HCS08_table.ma emulator/opcodes/IP2022_table.ma emulator/opcodes/RS08_table.ma emulator/opcodes/pseudo.ma
+emulator/translation/translation_base.ma common/option.ma emulator/opcodes/HC05_table.ma emulator/opcodes/HC08_table.ma emulator/opcodes/HCS08_table.ma emulator/opcodes/IP2022_table.ma emulator/opcodes/RS08_table.ma emulator/opcodes/pseudo.ma
 compiler/ast_base_type.ma common/comp.ma compiler/ast_base_type_base.ma num/bool_lemmas.ma
 emulator/opcodes/IP2022_table.ma common/list.ma emulator/opcodes/IP2022_instr_mode.ma emulator/opcodes/IP2022_pseudo.ma emulator/opcodes/byte_or_word.ma
 emulator/status/HC05_status.ma emulator/status/HC05_status_base.ma