summaryrefslogtreecommitdiff
path: root/demo/hello.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 12:31:54 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-04-12 12:31:54 -0400
commit84168a777e28ab53917bc3ed448cc90e6b00a4ed (patch)
tree9df501486d7beb6949a4743263fc15e53cf1c8e4 /demo/hello.urs
parent0f0d418e2290cdf5e6e392f65579756b37661be9 (diff)
Stop tracking CSS classes in XML types
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 8cfe27af..6ac44e0b 100644
--- a/demo/hello.urs
+++ b/demo/hello.urs
@@ -1 +1 @@
-val main : unit -> transaction (page [])
+val main : unit -> transaction page