X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fparser.mly;h=4c28ea5d1522feb64b8ad9b6496c55c04b7d5bf3;hb=3d2976d83978e59e411800dac69124af5a0a8ef7;hp=934f8b1f810031311e70dfb3f5393fddef47fed2;hpb=50718dc51ba9023f7171f4999020ed0006cded82;p=helm.git

diff --git a/matita/components/binaries/matitaprover/parser.mly b/matita/components/binaries/matitaprover/parser.mly
index 934f8b1f8..4c28ea5d1 120000
--- a/matita/components/binaries/matitaprover/parser.mly
+++ b/matita/components/binaries/matitaprover/parser.mly
@@ -1 +1 @@
-../../tptp_grafite/parser.mly
\ No newline at end of file
+FIXME
\ No newline at end of file