From 2bfbe7dbb8d67436b748a6eec6e0696ca0909505 Mon Sep 17 00:00:00 2001
From: krasimir <krasimir@chalmers.se>
Date: Wed, 16 Sep 2009 08:39:43 +0000
Subject: [PATCH] uncomment SymbolicRon

---
 src/api/SymbolicRon.gf | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/api/SymbolicRon.gf b/src/api/SymbolicRon.gf
index 748025880..0f93fe910 100644
--- a/src/api/SymbolicRon.gf
+++ b/src/api/SymbolicRon.gf
@@ -1,5 +1,5 @@
 --# -path=.:present:mathematical:prelude
 
-resource SymbolicRon = {} -- Symbolic with 
---  (Symbol = SymbolRon),
---  (Grammar = GrammarRon) ;
+resource SymbolicRon = Symbolic with 
+  (Symbol = SymbolRon),
+  (Grammar = GrammarRon) ;