From 8ea9cd1effd09008656440a93023a02a9c6752af Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 26 Sep 2009 12:45:19 -0400 Subject: Whitelisting tags that may be self-closed --- tests/empties.ur | 4 ++++ 1 file changed, 4 insertions(+) create mode 100644 tests/empties.ur (limited to 'tests/empties.ur') diff --git a/tests/empties.ur b/tests/empties.ur new file mode 100644 index 00000000..62003083 --- /dev/null +++ b/tests/empties.ur @@ -0,0 +1,4 @@ +fun main () = return +

+ -- cgit v1.2.3