freescale porting

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

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma b/helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma
index 4cd470862e77c701c76ac0c2e3daaae250e37812..c507eac1796371e673b44c0ec151ebc41755116a 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/translation/translation.ma
@@ -67,7 +67,7 @@ nlet rec bytes_of_pseudo_instr_mode_param_aux (m:mcu_type) (o:aux_op_type m) (i:
     [ Byte isab ⇒ 
      Some ? ([ (TByte m isab) ]@(args_picker m i p))
     | Word isaw ⇒
-     Some ? ([ (TByte m (w16h isaw)) ; (TByte m (w16l isaw)) ]@(args_picker m i p))
+     Some ? ([ (TByte m (cnH ? isaw)) ; (TByte m (cnL ? isaw)) ]@(args_picker m i p))
     ]
    | false ⇒ bytes_of_pseudo_instr_mode_param_aux m o i p tl ]].