From 7c14fd970c1b6c4b3e51d39360cfe3138eb50f26 Mon Sep 17 00:00:00 2001 From: Adam Chlipala 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') 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 Hi -- cgit v1.2.3