From 4b3399b59d17ed32c8c2800267b8c59fd0378f21 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/test.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'tests/test.h') diff --git a/tests/test.h b/tests/test.h index 4cd257f8..d94cf02d 100644 --- a/tests/test.h +++ b/tests/test.h @@ -5,3 +5,5 @@ typedef uw_Basis_string uw_Test_t; uw_Test_t uw_Test_create(uw_context, uw_Basis_string); uw_Basis_string uw_Test_out(uw_context, uw_Test_t); uw_Test_t uw_Test_frob(uw_context, uw_Test_t, uw_Basis_string); + +uw_Basis_unit uw_Test_print(uw_context); -- cgit v1.2.3