From 759685cc2bf4e61bdd0521d1a74d4cf64f123769 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Sun, 20 Nov 2011 20:46:28 -0500
Subject: Fix bug in previous change

---
 tests/comment.ur | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/comment.ur')

diff --git a/tests/comment.ur b/tests/comment.ur
index e69de29b..975fc277 100644
--- a/tests/comment.ur
+++ b/tests/comment.ur
@@ -0,0 +1 @@
+fun main () : transaction page = return <xml>Hi</xml>
-- 
cgit v1.2.3