summaryrefslogtreecommitdiff
path: root/tests/dcol.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 14:57:44 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-08-06 14:57:44 -0400
commit38dade494489b5d093cc9bb8f7542de1324f2d55 (patch)
treeff9050728832ba4cd3278e6d80a4c9b9b90a2f01 /tests/dcol.urs
parent8e40f70890e42ca4ebf9ae070712798ecdc217f0 (diff)
<dyn> inside <tr>
Diffstat (limited to 'tests/dcol.urs')
-rw-r--r--tests/dcol.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/dcol.urs b/tests/dcol.urs
new file mode 100644
index 00000000..6ac44e0b
--- /dev/null
+++ b/tests/dcol.urs
@@ -0,0 +1 @@
+val main : unit -> transaction page