X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fstatus%2FHC08_status.ma;fp=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fstatus%2FHC08_status.ma;h=309d0d1ba9920e70f4af5ae494126cb9a40daeb0;hb=6ee4fa0ba5f4b6601b62afd482d4f30bd2de2f91;hp=dd8234161ad4e5f7ce25c66202d776e2951a7cb3;hpb=8899a3f240f62633f4df58b2ee358fa285a82d1d;p=helm.git

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 dd8234161..309d0d1ba 100755
--- 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)