mod change (-x)

[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
old mode 100755 (executable)
new mode 100644 (file)
index dd82341..309d0d1
--- 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)