summaryrefslogtreecommitdiff
path: root/tests/cffi.urp
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 11:27:26 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-02 11:27:26 -0400
commitb57aab64873d55df8069cf520a6901bb2ce3d929 (patch)
tree9918a955a048024a07e68cd466c19c0dbf56f867 /tests/cffi.urp
parent2570fc6449706fd93641ab23762194dbcd50db09 (diff)
Successfully influenced effectful-ness status of FFI func
Diffstat (limited to 'tests/cffi.urp')
-rw-r--r--tests/cffi.urp1
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/cffi.urp b/tests/cffi.urp
index cb27c744..ed64da3a 100644
--- a/tests/cffi.urp
+++ b/tests/cffi.urp
@@ -2,5 +2,6 @@ debug
ffi test
include test.h
link test.o
+effectful Test.print
cffi