From 7e186f985bb40643125951d0dd944c8f2d31805b Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Sat, 2 May 2009 18:41:21 -0400 Subject: FFI transactionals --- include/types.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'include/types.h') diff --git a/include/types.h b/include/types.h index 0dbd6118..89e88b88 100644 --- a/include/types.h +++ b/include/types.h @@ -45,4 +45,6 @@ typedef struct input *uw_input; #define FLOATS_MAX 100 #define TIMES_MAX 100 +typedef void (*uw_callback)(void *); + #endif -- cgit v1.2.3