X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite%2FgrafiteAst.ml;h=f6555fa04c7dd5ed86bb8c4f6c6bbe8d7fee4feb;hb=585469505faa97c21687128490828a1aabee94ee;hp=67d42c64454205a12c4dccd0a23823ea585926a9;hpb=30743ffb0d331aaaa449957238128943ba781ecf;p=helm.git

diff --git a/helm/software/components/grafite/grafiteAst.ml b/helm/software/components/grafite/grafiteAst.ml
index 67d42c644..f6555fa04 100644
--- a/helm/software/components/grafite/grafiteAst.ml
+++ b/helm/software/components/grafite/grafiteAst.ml
@@ -188,6 +188,7 @@ type ('term,'obj) command =
   | Print of loc * string
   | Qed of loc
   | NObj of loc * CicNotationPt.term CicNotationPt.obj
+  | NQed of loc
 
 type punctuation_tactical =
   | Dot of loc