From 4b3399b59d17ed32c8c2800267b8c59fd0378f21 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Sat, 2 May 2009 11:27:26 -0400
Subject: Successfully influenced effectful-ness status of FFI func

---
 tests/test.urs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'tests/test.urs')

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
-- 
cgit v1.2.3