X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly2%2Fdepends;h=a1fff45d711a07349967e62b03050b9a81702f71;hb=647b419e96770d90a82d7a9e5e8843566a9f93ee;hp=fc6f53f6be010711c40a066fdc640526cbb1277f;hpb=67303bc29318bd94a31903a92a2127697c5de84e;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly2/depends b/helm/software/matita/contribs/ng_assembly2/depends
index fc6f53f6b..a1fff45d7 100644
--- 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