diff options
| -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" } ; |