eliminazione di un passaggio di transitività in ast2astfe

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

diff --git a/helm/software/matita/contribs/assembly/compiler/astfe_tree.ma b/helm/software/matita/contribs/assembly/compiler/astfe_tree.ma
index c806a04bd3a237df1d31486a92f00ce944cb28b5..2690b2466f8e85895d50f9a0b2574bcf8933a552 100755 (executable)
--- a/helm/software/matita/contribs/assembly/compiler/astfe_tree.ma
+++ b/helm/software/matita/contribs/assembly/compiler/astfe_tree.ma
@@ -19,12 +19,7 @@
 (*                                                                        *)
 (* ********************************************************************** *)
 
-include "string/string.ma".
-include "compiler/utility.ma".
-include "freescale/word32.ma".
-include "compiler/ast_type.ma".
 include "compiler/env_to_flatenv.ma".
-include "compiler/ast_tree.ma".
 
 (* **************************** *)
 (* ALBERO DI TOKEN CON FLAT ENV *)