freescale porting

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

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma b/helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma
index caea9011ce59afcee157b1338bc9116d4fd6450c..ad920e71f7b6857d3bf03199c9596afbcca74098 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/status/IP2022_status.ma
@@ -68,7 +68,7 @@ ndefinition new_addrarray ≝
 
 ndefinition get_low3bits ≝
 λaddrsel:byte8.
- match b8l addrsel with
+ match cnL ? addrsel with
   [ x0 ⇒ o0 | x1 ⇒ o1 | x2 ⇒ o2 | x3 ⇒ o3 | x4 ⇒ o4 | x5 ⇒ o5 | x6 ⇒ o6 | x7 ⇒ o7
   | x8 ⇒ o0 | x9 ⇒ o1 | xA ⇒ o2 | xB ⇒ o3 | xC ⇒ o4 | xD ⇒ o5 | xE ⇒ o6 | xF ⇒ o7 ].