(no commit message)

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

diff --git a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
old mode 100755 (executable)
new mode 100644 (file)
index d3bd4f9..8ee6e94
--- a/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
+++ b/helm/software/matita/contribs/ng_assembly/emulator/read_write/load_write_base.ma
@@ -22,10 +22,6 @@
 
 include "emulator/read_write/read_write.ma".
 
-(* ************************ *)
-(* MODALITA' INDIRIZZAMENTO *)
-(* ************************ *)
-
 (* mattoni base *)
 (* - incrementano l'indirizzo normalmente *)
 (* - incrementano PC attraverso il filtro *)