diff options
| author | aarne <aarne@cs.chalmers.se> | 2007-06-25 15:33:40 +0000 |
|---|---|---|
| committer | aarne <aarne@cs.chalmers.se> | 2007-06-25 15:33:40 +0000 |
| commit | f081dc0d6bb73d5439420569c352e88b0f096a7f (patch) | |
| tree | 5e048635f979ec0e22f2510256d728ee80f6acab /examples/regulus/toy1/Toy1.gf | |
| parent | 16bfb1250b0bc97d3b1786585c80bcb3d969e874 (diff) | |
prepared examples for Speechgram presentation
Diffstat (limited to 'examples/regulus/toy1/Toy1.gf')
| -rw-r--r-- | examples/regulus/toy1/Toy1.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/regulus/toy1/Toy1.gf b/examples/regulus/toy1/Toy1.gf index 70fa5ce9f..49bd320c1 100644 --- a/examples/regulus/toy1/Toy1.gf +++ b/examples/regulus/toy1/Toy1.gf @@ -38,7 +38,7 @@ fun switchable_light : Switchable light ; switchable_fan : Switchable fan ; - dimmable_fan : Dimmable fan ; + dimmable_light : Dimmable light ; statelike_switchOn : (k : Kind) -> (s : Switchable k) -> Statelike k (switchOn k s) ; statelike_switchOff : (k : Kind) -> (s : Switchable k) -> Statelike k (switchOff k s) ; |