freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / status / HC08_status.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma b/helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma
index dd8234161ad4e5f7ce25c66202d776e2951a7cb3..309d0d1ba9920e70f4af5ae494126cb9a40daeb0 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/status/HC08_status.ma
@@ -123,8 +123,8 @@ ndefinition set_indX_16_reg_HC08 ≝
 λalu.λindx16:word16.
  mk_alu_HC08
   (acc_low_reg_HC08 alu)
-  (w16l indx16)
-  (w16h indx16)
+  (cnL ? indx16)
+  (cnH ? indx16)
   (sp_reg_HC08 alu)
   (pc_reg_HC08 alu)
   (v_flag_HC08 alu)