summaryrefslogtreecommitdiff
path: root/tests/test.urs
diff options
context:
space:
mode:
Diffstat (limited to 'tests/test.urs')
-rw-r--r--tests/test.urs1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/test.urs b/tests/test.urs
index e354572c..b3c8505c 100644
--- a/tests/test.urs
+++ b/tests/test.urs
@@ -3,3 +3,4 @@ type t
val create : string -> t
val out : t -> string
val frob : t -> string -> t
+val print : transaction unit