X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Facic_content%2FcicNotationEnv.ml;h=5b4190eb87b1abecc2782b7de23acb4336d9eecb;hb=4a747f4352bd5961c60a7d75eaa95ac3ee4f54f9;hp=f0a14846f2e934610f9e2f36b1df6e93e6d96036;hpb=8c4659819a1c1f2e450d9a588ecca37d95ae48e9;p=helm.git

diff --git a/helm/software/components/acic_content/cicNotationEnv.ml b/helm/software/components/acic_content/cicNotationEnv.ml
index f0a14846f..5b4190eb8 100644
--- a/helm/software/components/acic_content/cicNotationEnv.ml
+++ b/helm/software/components/acic_content/cicNotationEnv.ml
@@ -35,7 +35,7 @@ type value =
   | ListValue of value list
 
 type value_type =
-  | TermType of int option
+  | TermType of int
   | StringType
   | NumType
   | OptType of value_type
@@ -98,7 +98,7 @@ let list_declaration (n, ty) = (n, ListType ty)
 let declaration_of_var = function
   | Ast.NumVar s -> s, NumType
   | Ast.IdentVar s -> s, StringType
-  | Ast.TermVar (s,l) -> s, TermType l
+  | Ast.TermVar (s,(Ast.Self l|Ast.Level l)) -> s, TermType l
   | _ -> assert false
 
 let value_of_term = function