From 7e186f985bb40643125951d0dd944c8f2d31805b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 18:41:21 -0400 Subject: FFI transactionals --- tests/test.urs | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests/test.urs') 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 -- cgit v1.2.3