summaryrefslogtreecommitdiff
path: root/tests/cdata.lac
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 18:11:14 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-07-03 18:11:14 -0400
commitb1ff8b5ed266a22730528784c3ca116ec0e8ca4d (patch)
tree8492500dbd72c617d14e25c43093e250dd1b19bf /tests/cdata.lac
parent8d4e252a0d4ac2c89805cd2785f79572cdfe7d82 (diff)
Simplify HTML examples, until the dispatching is ready
Diffstat (limited to 'tests/cdata.lac')
-rw-r--r--tests/cdata.lac2
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/cdata.lac b/tests/cdata.lac
index 1822df5a..04556658 100644
--- a/tests/cdata.lac
+++ b/tests/cdata.lac
@@ -1 +1 @@
-val main : {} -> xml[Html] = fn () => <html></html>
+val main : xml[Html] = <html></html>