X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matitaB%2Fcomponents%2Fgrafite%2FgrafiteAst.ml;h=bb496f2c02678a512694bcc6df43ae79853f5256;hb=1e304931d5cb935c91402a5160c2150aeca0ea2b;hp=0db31e94dd9e104cc754196796353c7f1eee0cec;hpb=237f4bfbb6d79b38e9417b776495b068b54aff6a;p=helm.git

diff --git a/matitaB/components/grafite/grafiteAst.ml b/matitaB/components/grafite/grafiteAst.ml
index 0db31e94d..bb496f2c0 100644
--- a/matitaB/components/grafite/grafiteAst.ml
+++ b/matitaB/components/grafite/grafiteAst.ml
@@ -105,7 +105,7 @@ type command =
   | NCoercion of loc * string *
       (NotationPt.term * NotationPt.term *
         (string * NotationPt.term) * NotationPt.term) option
-  | NQed of loc
+  | NQed of loc * bool
   (* ex lexicon commands *)
   | Alias of loc * alias_spec
       (** parameters, name, type, fields *)