diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-24 17:25:07 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-24 17:25:07 +0000 |
| commit | 2885cfc5ac2c3e58754d1938c144c5b3b8cd95f6 (patch) | |
| tree | ba7a7f7c5af0676febf0928152492863993fcb07 | |
| parent | eca7f691a69ef76b6c607a607c51e8081d1eb839 (diff) | |
Just renaming in srg0005
| -rw-r--r-- | test/srg/srg0005/srg0005.gf | 8 |
1 files 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" } ; |