X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Fread_write%2Fload_write.ma;h=3c24d528c12d8ff0801b15b4338a520b77166365;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=683a0f7afb323986df345e178d4385f4a6c4b497;hpb=ced2abc1e3fe84d5bbfa9ccb2ebf46f253279ebe;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma
index 683a0f7af..3c24d528c 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write.ma
@@ -51,15 +51,13 @@ ndefinition multi_mode_loadw ≝
     | IP2022 ⇒ IP2022_multi_mode_load_auxw
   ].
 
-(* tutte le modalita' di lettura: false=loadb true=loadw *)
-
 (* **************************************** *)
 (* raccordo di tutte le possibili scritture *)
 (* **************************************** *)
 
 ndefinition multi_mode_writeb ≝
 λm.match m
-    return λm.Πt.any_status m t → word16 → aux_im_type m → byte8 →
+    return λm.Πt.any_status m t → word16 → aux_mod_type → aux_im_type m → byte8 →
               option (ProdT (any_status m t) word16)
    with
     [ HC05 ⇒ Freescale_multi_mode_write_auxb HC05