summaryrefslogtreecommitdiff
path: root/tests/goodbye.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2012-04-08 16:24:16 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2012-04-08 16:24:16 -0400
commitb4fdf677c13d1d718640c22b94989d8bb516bd6f (patch)
treed6449a3ee5fd57b04ef2daea40740f92834e7fc0 /tests/goodbye.urs
parentb02e528023100b07d57faf7bbeba1203feee9bcc (diff)
Refactor to avoid dependence on recursive mutexes
Diffstat (limited to 'tests/goodbye.urs')
-rw-r--r--tests/goodbye.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/goodbye.urs b/tests/goodbye.urs
new file mode 100644
index 00000000..901d6bf2
--- /dev/null
+++ b/tests/goodbye.urs
@@ -0,0 +1 @@
+val main : {} -> transaction page