freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / opcodes / RS08_table.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma
index 56fa8b5fa23531a5f94252e059dd812ec479acfd..5640c506a33d6b95f7373f6ab15970c4cd488cff 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/opcodes/RS08_table.ma
@@ -20,8 +20,8 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "emulator/opcodes/RS08_opcode.ma".
-include "emulator/opcodes/RS08_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".