X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fgrafite_parser%2FgrafiteDisambiguate.ml;h=76e5e6d86f13ae5257cd30e3a1e3081fecdf0eb9;hb=39a3a05b745309703a5010d3da3e2a12c7228064;hp=4ced7a0afdd04e484836fc142195c70d2d597baa;hpb=4c3c77a722996633ec810a7fa547f52872124074;p=helm.git

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