X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fopcodes%2FIP2022_table.ma;h=0125d05067083c8b377e7df1ac3eadd7baa21697;hb=eb4144a401147a44a9620169eb6dafeb8f5a2c17;hp=0cddf72bc23ca287c9a36648f06b0198e2a746a0;hpb=34cdd4af2d7bdac3bab74a54123fbfcb02fa0403;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma
index 0cddf72bc..0125d0506 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/IP2022_table.ma
@@ -20,7 +20,7 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "emulator/opcodes/IP2022_opcode.ma".
+include "emulator/opcodes/IP2022_pseudo.ma".
 include "emulator/opcodes/IP2022_instr_mode.ma".
 include "emulator/opcodes/byte_or_word.ma".
 include "common/list.ma".