freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / ng_assembly / freescale / multivm.ma

diff --git a/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma b/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
index fc374d9ab6e6d8530045268548d169b89a3b6dbf..e0277386cb7f1902c42fac5c6c56820973606d99 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
+++ b/helm/software/matita/contribs/ng_assembly/freescale/multivm.ma
@@ -1268,7 +1268,7 @@ ndefinition tick_execute ≝
 
 ndefinition tick ≝
 λm:mcu_type.λt:memory_impl.λs:any_status m t.
- let opt_info ≝ get_clk_desc m t s in
+ let opt_info ≝ clk_desc m t s in
  match opt_info with
   (* e' il momento del fetch *)
   [ None ⇒ match fetch m t s with