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=8548eb5831e4f44ff494170bdf5ebccf2a6ebe91;hb=34cdd4af2d7bdac3bab74a54123fbfcb02fa0403;hp=2df75d816a78b203a426097761a38b4453453a1b;hpb=0f13d14b63b012e0ea8ce0d0e71bf808fdd444eb;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 2df75d816..8548eb583 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
@@ -26,6 +26,7 @@ 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 *)