diff tests/comment.ur @ 1605:48eed6cf2be7

Fix bug in previous change
author Adam Chlipala <adam@chlipala.net>
date Sun, 20 Nov 2011 20:46:28 -0500
parents 06958d5a7088
children
line wrap: on
line diff
--- a/tests/comment.ur	Sun Nov 20 19:22:57 2011 -0500
+++ b/tests/comment.ur	Sun Nov 20 20:46:28 2011 -0500
@@ -0,0 +1,1 @@
+fun main () : transaction page = return <xml>Hi</xml>