From e3ca4ca819a3ac665f10409ed13bf2a14c3c5510 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 16 Jun 2018 13:21:24 -0400 Subject: Slight change to venerable Nested demo, to get proper URL resolution --- demo/nested.ur | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 () -- cgit v1.2.3