summaryrefslogtreecommitdiff
path: root/demo
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2018-06-16 13:22:43 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2018-06-16 13:22:43 -0400
commitc98f27c7821f6d8f3add303da692630bba268d1d (patch)
tree976fa9c7a0ab5b579e6b0cbbf58bc9ccf6c3c55f /demo
parente3ca4ca819a3ac665f10409ed13bf2a14c3c5510 (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 13d0fc61..5c9cd3cc 100644
--- a/demo/nested.ur
+++ b/demo/nested.ur
@@ -45,7 +45,7 @@ and fromA r =
</head>
<body>
<p>Hello {[forename]}{case surname of
- None => <xml/>
+ None => <xml></xml>
| Some s => <xml> {[s]}</xml>}</p>
{case surname of
None => <xml><a link={pageA ()}>Previous</a></xml>