summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2018-06-16 13:21:24 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2018-06-16 13:21:24 -0400
commite3ca4ca819a3ac665f10409ed13bf2a14c3c5510 (patch)
treebbc29c0545323e1b392b5643761c6b9d89eae7c4 /demo
parent259759d8725f050d6598d3ad4368e5edf124b089 (diff)
Slight change to venerable Nested demo, to get proper URL resolution
Diffstat (limited to 'demo')
-rw-r--r--demo/nested.ur2
1 files changed, 1 insertions, 1 deletions
diff --git a/demo/nested.ur b/demo/nested.ur
index 31c9e1e8..13d0fc61 100644
--- a/demo/nested.ur
+++ b/demo/nested.ur
@@ -59,4 +59,4 @@ and fromA r =
pageC None
end
-val main = pageA
+fun main () = pageA ()