diff options
| author | bringert <bringert@cs.chalmers.se> | 2007-03-23 18:10:21 +0000 |
|---|---|---|
| committer | bringert <bringert@cs.chalmers.se> | 2007-03-23 18:10:21 +0000 |
| commit | ccb76f5da0bcff3694f2a306b3056df67ccb27eb (patch) | |
| tree | 4805910da958236d9bb6e1ab81651e2ed3122f90 | |
| parent | 94813f9ffb3688297fba1138002e84739c2d90df (diff) | |
Uncommented troublesome rules in srg0002
| -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" } ; |