Remove dandling symbolic links from the repository

[helm.git] / matita / components / binaries / matitaprover / lexer.mll

diff --git a/matita/components/binaries/matitaprover/lexer.mll b/matita/components/binaries/matitaprover/lexer.mll
index f0e5f30562ec5323f1e7aaa836fb3bdbedb57c86..4c28ea5d1522feb64b8ad9b6496c55c04b7d5bf3 120000 (symlink)
--- 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