X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=inline;f=matita%2Fcomponents%2Fbinaries%2Fmatitaprover%2Flexer.mll;fp=matita%2Fcomponents%2Fbinaries%2Fmatitaprover%2Flexer.mll;h=4c28ea5d1522feb64b8ad9b6496c55c04b7d5bf3;hb=19a98b3c9e5d9894fb18eae0e95203ec37323e12;hp=f0e5f30562ec5323f1e7aaa836fb3bdbedb57c86;hpb=02c05964e51f79fc37abc769c229a191bf525969;p=helm.git

diff --git a/matita/components/binaries/matitaprover/lexer.mll b/matita/components/binaries/matitaprover/lexer.mll
index f0e5f3056..4c28ea5d1 120000
--- a/matita/components/binaries/matitaprover/lexer.mll
+++ b/matita/components/binaries/matitaprover/lexer.mll
@@ -1 +1 @@
-../../tptp_grafite/lexer.mll
\ No newline at end of file
+FIXME
\ No newline at end of file