diff options
Diffstat (limited to 'examples/regulus/toy1/Toy1Eng.gf')
| -rw-r--r-- | examples/regulus/toy1/Toy1Eng.gf | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/examples/regulus/toy1/Toy1Eng.gf b/examples/regulus/toy1/Toy1Eng.gf index 30e861f44..384e50060 100644 --- a/examples/regulus/toy1/Toy1Eng.gf +++ b/examples/regulus/toy1/Toy1Eng.gf @@ -71,14 +71,14 @@ oper Pl => "are" } ; + hidden : SS = ss [] ; lin - switchable_light = ss [] ; - switchable_fan = ss [] ; - dimmable_fan = ss [] ; - - statelike_switchOn _ _ = ss [] ; - statelike_switchOff _ _ = ss [] ; + switchable_light = hidden ; + switchable_fan = hidden ; + dimmable_light = hidden ; + statelike_switchOn _ _ = hidden ; + statelike_switchOff _ _ = hidden ; } |