From 2885cfc5ac2c3e58754d1938c144c5b3b8cd95f6 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Sat, 24 Mar 2007 17:25:07 +0000
Subject: [PATCH] Just renaming in srg0005

---
 test/srg/srg0005/srg0005.gf | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/test/srg/srg0005/srg0005.gf b/test/srg/srg0005/srg0005.gf
index 4d2b39440..f0df42fc8 100644
--- a/test/srg/srg0005/srg0005.gf
+++ b/test/srg/srg0005/srg0005.gf
@@ -1,9 +1,9 @@
 cat S; E; 
 
-fun es : E -> S ;
-fun sx : S -> S ;
+fun f : E -> S ;
+fun g : S -> S ;
 fun e : E ;
 
-lin es e = { s = e.s } ;
-lin sx s = { s = s.s ++ "x" } ;
+lin f e = { s = e.s } ;
+lin g s = { s = s.s ++ "x" } ;
 lin e = { s = "e" } ;