freescale porting

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

diff --git a/helm/software/matita/contribs/ng_assembly/freescale/status.ma b/helm/software/matita/contribs/ng_assembly/freescale/status.ma
index 1354861e2a9858f0ef90c99e85917b6b1b04117b..9eba21d29101de81357e7c7b8617a4c02d0112c8 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/freescale/status.ma
+++ b/helm/software/matita/contribs/ng_assembly/freescale/status.ma
@@ -20,7 +20,7 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "freescale/memory_abs.ma".
+include "memory/memory_abs.ma".
 include "freescale/opcode_base.ma".
 
 (* *********************************** *)