diff options
| -rw-r--r-- | test/srg/srg0002/empty.gf | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/srg/srg0002/empty.gf b/test/srg/srg0002/empty.gf index 397ec37e5..19a9701ca 100644 --- a/test/srg/srg0002/empty.gf +++ b/test/srg/srg0002/empty.gf @@ -1,13 +1,13 @@ cat S; X; E; fun s : S ; ---fun es : E -> S -> S ; +fun es : E -> S -> S ; fun sx : S -> X -> S ; fun x : X ; fun e : E ; lin s = { s = "s" } ; ---lin es e s = { s = e.s ++ s.s } ; +lin es e s = { s = e.s ++ s.s } ; lin sx s x = { s = s.s ++ x.s } ; lin x = { s = "x" } ; lin e = { s = "e" } ; |