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 2df75d8..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,12 +20,13 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-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".
 include "emulator/opcodes/HCS08_table.ma".
 include "emulator/opcodes/RS08_table.ma".
+include "emulator/opcodes/IP2022_table.ma".
 
 (* ***************************** *)
 (* TRADUZIONE ESADECIMALE → INFO *)
@@ -41,6 +42,7 @@ ndefinition opcode_table ≝
   | HC08  ⇒ opcode_table_HC08
   | HCS08 ⇒ opcode_table_HCS08
   | RS08  ⇒ opcode_table_RS08
+  | IP2022 ⇒ opcode_table_IP2022
  ].
 
 (* traduzione mcu+esadecimale → info *)