summaryrefslogtreecommitdiff
path: root/demo/hello.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 11:08:00 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 11:08:00 -0400
commit0f0d418e2290cdf5e6e392f65579756b37661be9 (patch)
treed4d5c202be4912da6d99166ecc5d1de3413f4c93 /demo/hello.urs
parent30eeaff2c92fb1d0ba029a7688fc7b547a60c150 (diff)
hello compiles with CSS
Diffstat (limited to 'demo/hello.urs')
-rw-r--r--demo/hello.urs2
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/hello.urs b/demo/hello.urs
index 6ac44e0b..8cfe27af 100644
--- a/demo/hello.urs
+++ b/demo/hello.urs
@@ -1 +1 @@
-val main : unit -> transaction page
+val main : unit -> transaction (page [])