X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fstatus%2FHC08_status.ma;h=309d0d1ba9920e70f4af5ae494126cb9a40daeb0;hb=a79bf6edc13daaea8135ca71fdc92e02e229f030;hp=dd8234161ad4e5f7ce25c66202d776e2951a7cb3;hpb=b886a562ccbfc3f63b8f64a135bcf70e4b189999;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)