freescale porting, work in progress

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

diff --git a/helm/software/matita/contribs/ng_assembly/utility/string.ma b/helm/software/matita/contribs/ng_assembly/utility/string.ma
index 736bbf72238f4427a0e737e43031c059bcd6eaca..fb95e2e6b88a1740e0ed45f0862db63215d8360b 100644 (file)
--- a/helm/software/matita/contribs/ng_assembly/utility/string.ma
+++ b/helm/software/matita/contribs/ng_assembly/utility/string.ma
@@ -22,7 +22,6 @@
 
 include "utility/ascii.ma".
 include "freescale/theory.ma".
-include "freescale/nat.ma".
 include "utility/utility.ma".
 
 (* ************************ *)