From 98665df78b8018af30051cb4a9a31f845e0ba19d Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Mon, 22 Sep 2008 11:49:15 +0000
Subject: moved lib/next-resource to next-lib/src, to enable linking with
 next-lib as value of GF_LIB_PATH

---
 next-lib/src/api/SymbolicEng.gf | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 next-lib/src/api/SymbolicEng.gf

(limited to 'next-lib/src/api/SymbolicEng.gf')

diff --git a/next-lib/src/api/SymbolicEng.gf b/next-lib/src/api/SymbolicEng.gf
new file mode 100644
index 000000000..0ce4725fa
--- /dev/null
+++ b/next-lib/src/api/SymbolicEng.gf
@@ -0,0 +1,5 @@
+--# -path=.:present:prelude
+
+resource SymbolicEng = Symbolic with 
+  (Symbol = SymbolEng),
+  (Syntax = SyntaxEng) ;
-- 
cgit v1.2.3