X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fopcodes%2FHCS08_table.ma;h=04f3b08907ee984a3bbd487c0d54870e79e917e0;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=742e8b8ee2647c65d5796ddd72fbd2d508fcf6a8;hpb=34cdd4af2d7bdac3bab74a54123fbfcb02fa0403;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma
index 742e8b8ee..04f3b0890 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/HCS08_table.ma
@@ -20,8 +20,8 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "emulator/opcodes/HCS08_opcode.ma".
-include "emulator/opcodes/HC08_instr_mode.ma".
+include "emulator/opcodes/Freescale_pseudo.ma".
+include "emulator/opcodes/Freescale_instr_mode.ma".
 include "emulator/opcodes/byte_or_word.ma".
 include "common/list.ma".