From c3d2041bb380b3a576564419fc9a9386a98e75b7 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Mon, 21 Apr 2014 12:09:58 -0400 Subject: Change to avoid generating an empty for empty content --- tests/activeEmpty.ur | 5 +++++ 1 file changed, 5 insertions(+) create mode 100644 tests/activeEmpty.ur (limited to 'tests/activeEmpty.ur') diff --git a/tests/activeEmpty.ur b/tests/activeEmpty.ur new file mode 100644 index 00000000..4c089899 --- /dev/null +++ b/tests/activeEmpty.ur @@ -0,0 +1,5 @@ +fun main () : transaction page = return + }/> +

+ This one ain't empty.}/> + -- cgit v1.2.3