Semantic analysis implemented (sort of).

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

diff --git a/helm/software/matita/contribs/assembly/compiler/ast_tree.ma b/helm/software/matita/contribs/assembly/compiler/ast_tree.ma
index 79be3a54e09b2129d5c6704127cc19cd8e705e73..6fa1b3ffdb500083e97de231190b4d1e1cc1825b 100755 (executable)
--- a/helm/software/matita/contribs/assembly/compiler/ast_tree.ma
+++ b/helm/software/matita/contribs/assembly/compiler/ast_tree.ma
@@ -28,7 +28,7 @@ include "compiler/environment.ma".
 (* id: accesso all'ambiente con stringa *)
 inductive ast_id (e:aux_env_type) : bool → ast_type → Type ≝
   AST_ID: ∀str:aux_str_type.
-          (* D *) check_desc_env e str → ast_id e (get_const_desc (get_desc_env e str)) (get_type_desc (get_desc_env e str)).
+          (* D *) (check_desc_env e str) → (ast_id e (get_const_desc (get_desc_env e str)) (get_type_desc (get_desc_env e str))).
 
 (* -------------------------- *)