X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=components%2Fgrafite_parser%2FgrafiteDisambiguate.ml;h=76e5e6d86f13ae5257cd30e3a1e3081fecdf0eb9;hb=7fcbe05896613b28b548db1785740b7cbad7ac1f;hp=b02d57e672ea602f704b21405f652c0eea8e5a58;hpb=6995a7717fd0c760c0608ed9225e9f2dbc14d7d1;p=helm.git

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