X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fgrafite_parser%2FmatitaDisambiguator.cmi;fp=helm%2Focaml%2Fgrafite_parser%2FmatitaDisambiguator.cmi;h=0000000000000000000000000000000000000000;hb=6a388079100673e4f71d28a8a53ea029ee1b08df;hp=a50009c471d83f35f85bf5c5d95cadc5e20ff6fb;hpb=75cce5f252471a73764953dbb5fa24a450d153bb;p=helm.git

diff --git a/helm/ocaml/grafite_parser/matitaDisambiguator.cmi b/helm/ocaml/grafite_parser/matitaDisambiguator.cmi
deleted file mode 100644
index a50009c47..000000000
Binary files a/helm/ocaml/grafite_parser/matitaDisambiguator.cmi and /dev/null differ