X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAst.ml;fp=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAst.ml;h=5b10a5465cc5fc9ad68889fc87a8236ad3bede2c;hb=a14adba81c00c9dcb9996d7af39e4803214606f1;hp=1910e34ac949d279cae975f146920745f2368189;hpb=c57405141d26ac2215a07b05d27a16a691dda50e;p=helm.git

diff --git a/helm/software/components/grafite/grafiteAst.ml b/helm/software/components/grafite/grafiteAst.ml
index 1910e34ac..5b10a5465 100644
--- a/helm/software/components/grafite/grafiteAst.ml
+++ b/helm/software/components/grafite/grafiteAst.ml
@@ -43,7 +43,7 @@ type 'lazy_term reduction =
 
 type 'ident intros_spec = int option * 'ident option list
 
-type 'term auto_params = 'term list * (string*string) list
+type 'term auto_params = 'term list option * (string*string) list
 
 type 'term just =
  [ `Term of 'term