freescale porting

[helm.git] / helm / software / matita / contribs / ng_assembly / emulator / translation / RS08_translation.ma

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma
index 16546a5220ac8bf7763d9e9ea11222bbe7558b72..b6aa83e8b18d136c03a952f3eb7fbee0a442b229 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/RS08_translation.ma
@@ -54,7 +54,7 @@ ndefinition RS08_args_picker ≝
   | maINHA   ⇒ nil ? 
   (* _0/1/2: legale se nessun operando/1 byte/1 word *)
   | maIMM1 b ⇒ [ TByte RS08 b ]
-  | maIMM2 w ⇒ [ TByte RS08 (w16h w); TByte RS08 (w16l w) ]
+  | maIMM2 w ⇒ [ TByte RS08 (cnH ? w); TByte RS08 (cnL ? w) ]
   | maDIR1 b ⇒ [ TByte RS08 b ]
   (* movimento: legale se 2 operandi byte *)
   | maDIR1_to_DIR1 b1 b2  ⇒ [ TByte RS08 b1 ; TByte RS08 b2 ]