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
commitb9ee5542842289bbdaf49ea04ea5f9fc08191ac2 (patch)
treeff9050728832ba4cd3278e6d80a4c9b9b90a2f01 /tests/dcol.urs
parent1d6456fbf525b34cdf91fe8de305b398171109ee (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