From 19a98b3c9e5d9894fb18eae0e95203ec37323e12 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Tue, 3 Jan 2023 00:36:37 +0100 Subject: [PATCH] Remove dandling symbolic links from the repository --- matita/components/binaries/matitaprover/FIXME | 4 ++++ matita/components/binaries/matitaprover/ast.ml | 2 +- matita/components/binaries/matitaprover/lexer.mll | 2 +- matita/components/binaries/matitaprover/parser.mly | 2 +- 4 files changed, 7 insertions(+), 3 deletions(-) create mode 100644 matita/components/binaries/matitaprover/FIXME diff --git a/matita/components/binaries/matitaprover/FIXME b/matita/components/binaries/matitaprover/FIXME new file mode 100644 index 000000000..7690928c9 --- /dev/null +++ b/matita/components/binaries/matitaprover/FIXME @@ -0,0 +1,4 @@ +Dropped symbolic links: +ast.ml -> ../../tptp_grafite/ast.ml +lexer.mll -> ../../tptp_grafite/lexer.mll +parser.mly -> ../../tptp_grafite/parser.mly diff --git a/matita/components/binaries/matitaprover/ast.ml b/matita/components/binaries/matitaprover/ast.ml index ddba86734..4c28ea5d1 120000 --- a/matita/components/binaries/matitaprover/ast.ml +++ b/matita/components/binaries/matitaprover/ast.ml @@ -1 +1 @@ -../../tptp_grafite/ast.ml \ No newline at end of file +FIXME \ No newline at end of file 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 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 -- 2.39.2