X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matitaB%2Fcomponents%2Fgrafite%2FgrafiteAst.ml;h=bc001d173c4b71575b686c78cf470d15be18fa1b;hb=0aa993bb1d23567612aa5d63fab74ef6fb918c0d;hp=bb496f2c02678a512694bcc6df43ae79853f5256;hpb=5fbe7da7019bda8fead167c8b1da1b06625551b3;p=helm.git

diff --git a/matitaB/components/grafite/grafiteAst.ml b/matitaB/components/grafite/grafiteAst.ml
index bb496f2c0..bc001d173 100644
--- a/matitaB/components/grafite/grafiteAst.ml
+++ b/matitaB/components/grafite/grafiteAst.ml
@@ -32,7 +32,7 @@ type loc = Stdpp.location
 type npattern = 
  NotationPt.term option * (string * NotationPt.term) list * NotationPt.term option
 
-type auto_params = NotationPt.term list option * (string*string) list
+type auto_params = (bool * NotationPt.term list) option * (string*string) list
 
 type ntactic =
    | NApply of loc * NotationPt.term