From 0254362f5b743d4c5abc02d3e375387e5ef1394a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Wed, 30 Apr 2014 13:05:54 -0400 Subject: , , --- tests/thead.ur | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 tests/thead.ur (limited to 'tests/thead.ur') diff --git a/tests/thead.ur b/tests/thead.ur new file mode 100644 index 00000000..a9774348 --- /dev/null +++ b/tests/thead.ur @@ -0,0 +1,16 @@ +fun main () : transaction page = return + + + + + + + + + + + + + +
A B
1 2
3 4
C D
+ -- cgit v1.2.3