X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fng_assembly%2Femulator%2Ftranslation%2FHC08_translation.ma;h=16142d426c1f55b8a4440d5615222aed3a37b176;hb=eb4144a401147a44a9620169eb6dafeb8f5a2c17;hp=0b7b1c41ff8a72f9048c91bab605f3ea25568103;hpb=0f13d14b63b012e0ea8ce0d0e71bf808fdd444eb;p=helm.git

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
index 0b7b1c41f..16142d426 100755
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/HC08_translation.ma
@@ -75,18 +75,18 @@ ndefinition HC08_args_picker ≝
   (* inherent address: legale se nessun operando/1 byte/1 word *)
   | maINHX0ADD ⇒ nil ?
   | maINHX1ADD b ⇒ [ TByte HC08 b ]
-  | maINHX2ADD w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]    
+  | maINHX2ADD w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ] 
   (* _0/1/2: legale se nessun operando/1 byte/1 word *)
   | maIMM1 b ⇒ [ TByte HC08 b ]
   | maIMM1EXT b ⇒ [ TByte HC08 b ]
-  | maIMM2 w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maIMM2 w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maDIR1 b ⇒ [ TByte HC08 b ]
-  | maDIR2 w ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maDIR2 w ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maIX0    ⇒ nil ?
   | maIX1 b  ⇒ [ TByte HC08 b ]
-  | maIX2 w  ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maIX2 w  ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   | maSP1 b  ⇒ [ TByte HC08 b ]
-  | maSP2 w  ⇒ [ TByte HC08 (w16h w); TByte HC08 (w16l w) ]
+  | maSP2 w  ⇒ [ TByte HC08 (cnH ? w); TByte HC08 (cnL ? w) ]
   (* movimento: legale se 2 operandi byte *)
   | maDIR1_to_DIR1 b1 b2  ⇒ [ TByte HC08 b1 ; TByte HC08 b2 ]
   | maIMM1_to_DIR1 b1 b2  ⇒ [ TByte HC08 b1 ; TByte HC08 b2 ]