X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fassembly%2Fcompiler%2Fenvironment.ma;h=590a98d1f390d277f6bc89d3240640be6fe16599;hb=e880d6eab5e1700f4a625ddcd7d0fa8f0cce2dcc;hp=2603787beb73a81b3b26211b8ca4177018393b68;hpb=aa9c56aecab7c7f52de13fb1af9696446bccb047;p=helm.git

diff --git a/helm/software/matita/contribs/assembly/compiler/environment.ma b/helm/software/matita/contribs/assembly/compiler/environment.ma
index 2603787be..590a98d1f 100755
--- 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".
 
 (* ***************** *)