summaryrefslogtreecommitdiff
path: root/tests/slashform.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2017-07-27 15:30:58 -0400
committerGravatar Adam Chlipala <adam@chlipala.net>2017-07-27 15:30:58 -0400
commit34196bdad72334f9d8f809d6c9f564667f6011d4 (patch)
treec5e5345ce59a575427793e17824cdf9e720ca646 /tests/slashform.urs
parent71950da171d0ae0da1ad3c06ab0e8a2070d9b23c (diff)
Add test cases for last commit
Diffstat (limited to 'tests/slashform.urs')
-rw-r--r--tests/slashform.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/slashform.urs b/tests/slashform.urs
new file mode 100644
index 00000000..61778b87
--- /dev/null
+++ b/tests/slashform.urs
@@ -0,0 +1 @@
+val main : transaction page