From f996ddede8ad8df6a6b475185b5384366f0dd6c9 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 12:10:43 -0400 Subject: More FFI compiler options --- tests/test.c | 5 +++++ 1 file changed, 5 insertions(+) (limited to 'tests/test.c') diff --git a/tests/test.c b/tests/test.c index b4f23670..1249721e 100644 --- a/tests/test.c +++ b/tests/test.c @@ -20,3 +20,8 @@ uw_Basis_unit uw_Test_print(uw_context ctx) { printf("Hi there!\n"); return uw_unit_v; } + +uw_Basis_unit uw_Test_foo(uw_context ctx) { + printf("FOO!\n"); + return uw_unit_v; +} -- cgit v1.2.3