X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=components%2Fgrafite_parser%2FgrafiteDisambiguate.ml;h=76e5e6d86f13ae5257cd30e3a1e3081fecdf0eb9;hb=726f5e6ae2b5d7c7699bd9253936ad46558e6f38;hp=396d169e79d0c6698e35f1d1e8665365de80cddb;hpb=805644c92f4e1a8750be9ba088a8c242d28042c9;p=helm.git

diff --git a/components/grafite_parser/grafiteDisambiguate.ml b/components/grafite_parser/grafiteDisambiguate.ml
index 396d169e7..76e5e6d86 100644
--- a/components/grafite_parser/grafiteDisambiguate.ml
+++ b/components/grafite_parser/grafiteDisambiguate.ml
@@ -326,5 +326,3 @@ let disambiguate_macro
    | GrafiteAst.Hint _
    | GrafiteAst.WLocate _ as macro ->
       metasenv,macro
-   | GrafiteAst.Quit _
-   | GrafiteAst.Print _ -> assert false