eliminazione di un passaggio di transitività in ast2astfe

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

diff --git a/helm/software/matita/contribs/assembly/compiler/preast_tree.ma b/helm/software/matita/contribs/assembly/compiler/preast_tree.ma
index 662d289fb4e15b7280f0d0836220909f296bd792..9a463d1b65cd055541bce891cfd4f2b243ec4a5f 100755 (executable)
--- a/helm/software/matita/contribs/assembly/compiler/preast_tree.ma
+++ b/helm/software/matita/contribs/assembly/compiler/preast_tree.ma
@@ -20,8 +20,6 @@
 (* ********************************************************************** *)
 
 include "string/string.ma".
-include "compiler/utility.ma".
-include "freescale/word32.ma".
 include "compiler/ast_type.ma".
 
 (* ****************** *)