freescale porting, work in progress

[helm.git] / helm / software / matita / contribs / ng_assembly / utility / utility.ma

diff --git a/helm/software/matita/contribs/ng_assembly/utility/utility.ma b/helm/software/matita/contribs/ng_assembly/utility/utility.ma
index 35cb725a0f69d9bd996763d07c7f6215934f4858..c34ca8465563ef339f1ce85366bd34d756bbeb67 100755 (executable)
--- a/helm/software/matita/contribs/ng_assembly/utility/utility.ma
+++ b/helm/software/matita/contribs/ng_assembly/utility/utility.ma
@@ -21,7 +21,6 @@
 (* ********************************************************************** *)
 
 include "freescale/theory.ma".
-include "freescale/nat_lemmas.ma".
 include "freescale/option.ma".
 
 (* ************** *)