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, 15 deletions

diff --git a/grammars/ljung/thesis/CopyMorphismAbs.gf b/grammars/ljung/thesis/CopyMorphismAbs.gf
deleted file mode 100644
index 02929f699..000000000
--- a/grammars/ljung/thesis/CopyMorphismAbs.gf
+++ /dev/null
@@ -1,15 +0,0 @@
-
--- the example 4.1 from Ljunglöf (2004, page 82) 
-
-abstract CopyMorphismAbs = {
-
-cat S; A;
-
-fun
-
-f  : A -> S;
-g  : A -> A -> A;
-ac : A;
-bd : A;
-
-}