summaryrefslogtreecommitdiff
path: root/tests/test.urs
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 18:41:21 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 18:41:21 -0400
commit5bec72c1ee13e48a9e11c3c1b924020436c827fe (patch)
tree2cdc71a8815189be0d6ee18e920b57dad252c2b7 /tests/test.urs
parent2d37bf0ef2c634819293a191eff9799934b08346 (diff)
FFI transactionals
Diffstat (limited to 'tests/test.urs')
-rw-r--r--tests/test.urs2
1 files changed, 2 insertions, 0 deletions
diff --git a/tests/test.urs b/tests/test.urs
index 05efcb5b..b4ca6fb6 100644
--- a/tests/test.urs
+++ b/tests/test.urs
@@ -7,3 +7,5 @@ val print : transaction unit
val foo : transaction unit
val bar : string -> transaction unit
+
+val transactional : transaction unit