freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / ng_assembly / compiler / ast_type.ma

diff --git a/helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma b/helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma
index fd9e373efc4ac9a4909e8cf49fcc4eaed22943e5..828e7ffc4a83970e193be630469376fdd43059db 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma
+++ b/helm/software/matita/contribs/ng_assembly/compiler/ast_type.ma
@@ -21,7 +21,6 @@
 (* ********************************************************************** *)
 
 include "utility/utility.ma".
-include "freescale/nat_lemmas.ma".
 
 (* ************************* *)
 (* dimensioni degli elementi *)