eliminazione di un passaggio di transitività in ast2astfe

[helm.git] / helm / software / matita / contribs / assembly / compiler / environment.ma

diff --git a/helm/software/matita/contribs/assembly/compiler/environment.ma b/helm/software/matita/contribs/assembly/compiler/environment.ma
index 2603787beb73a81b3b26211b8ca4177018393b68..590a98d1f390d277f6bc89d3240640be6fe16599 100755 (executable)
--- a/helm/software/matita/contribs/assembly/compiler/environment.ma
+++ b/helm/software/matita/contribs/assembly/compiler/environment.ma
@@ -20,7 +20,6 @@
 (* ********************************************************************** *)
 
 include "string/string.ma".
-include "freescale/word32.ma".
 include "compiler/ast_type.ma".
 
 (* ***************** *)