diff tests/relops.ur @ 1070:e933297c4e24

Tweaking SQL parsing and typing
author Adam Chlipala <adamc@hcoop.net>
date Sun, 13 Dec 2009 10:13:06 -0500
parents 645d0e8da643
children
line wrap: on
line diff
--- a/tests/relops.ur	Sat Dec 12 14:51:10 2009 -0500
+++ b/tests/relops.ur	Sun Dec 13 10:13:06 2009 -0500
@@ -25,6 +25,6 @@
 
 val main : unit -> transaction page = fn () =>
         s <- r2;
-        return <html><body>
+        return <xml><body>
                 {cdata s}
-        </body></html>
+        </body></xml>