From 6705780cc27314bfa0d3a9ed5c9217d5043def02 Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 25 Nov 2003 06:38:43 +0000
Subject: [PATCH] Added predefAbs

---
 grammars/prelude/PredefAbs.gf | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 grammars/prelude/PredefAbs.gf

diff --git a/grammars/prelude/PredefAbs.gf b/grammars/prelude/PredefAbs.gf
new file mode 100644
index 000000000..2779bcd58
--- /dev/null
+++ b/grammars/prelude/PredefAbs.gf
@@ -0,0 +1,4 @@
+abstract PredefAbs = {
+  cat Int ; String ;
+} ;
+