mod change (-x)

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / translation / translation_base.ma

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
old mode 100755 (executable)
new mode 100644 (file)
index 8548eb5..d24a7cf
--- 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".