From b57aab64873d55df8069cf520a6901bb2ce3d929 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 11:27:26 -0400 Subject: Successfully influenced effectful-ness status of FFI func --- tests/cffi.urp | 1 + 1 file changed, 1 insertion(+) (limited to 'tests/cffi.urp') 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 -- cgit v1.2.3