From 44ad7596b6e151000ef6155bbdc697c1896c5de8 Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 3 Nov 2008 16:51:43 +0000
Subject: missing constructions in Attempto grammars added

---
 examples/attempto/Symbols.gf | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 examples/attempto/Symbols.gf

(limited to 'examples/attempto/Symbols.gf')

diff --git a/examples/attempto/Symbols.gf b/examples/attempto/Symbols.gf
new file mode 100644
index 000000000..3744ecd4a
--- /dev/null
+++ b/examples/attempto/Symbols.gf
@@ -0,0 +1,8 @@
+abstract Symbols = {
+
+cat Var ;
+
+fun X_Var : Var ;
+fun Y_Var : Var ;
+
+}
-- 
cgit v1.2.3