X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Ftranslation%2Ftranslation_base.ma;h=d24a7cf4484e561c6d732cc6b3c98bcd560ec9d4;hb=eb4144a401147a44a9620169eb6dafeb8f5a2c17;hp=8548eb5831e4f44ff494170bdf5ebccf2a6ebe91;hpb=a79bf6edc13daaea8135ca71fdc92e02e229f030;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma
index 8548eb583..d24a7cf44 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/translation_base.ma
@@ -20,7 +20,7 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "emulator/opcodes/opcode.ma".
+include "emulator/opcodes/pseudo.ma".
 include "common/option.ma".
 include "emulator/opcodes/HC05_table.ma".
 include "emulator/opcodes/HC08_table.ma".