Remove the grammars directory. It was full of old grammars that don't compile these days. See the old source distributions if you want them.

1 files changed, 0 insertions, 21 deletions

diff --git a/grammars/ljung/thesis/ErasingAbs.gf b/grammars/ljung/thesis/ErasingAbs.gf
deleted file mode 100644
index 7b42b8863..000000000
--- a/grammars/ljung/thesis/ErasingAbs.gf
+++ /dev/null
@@ -1,21 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-abstract ErasingAbs = {
-
-cat S; A; B; C;
-
-fun
-
-f : A -> S;
-
-g : A -> B -> C -> A;
-
-a : A;
-
-b : B;
-
-c : C;
-
-
-}