diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-05-02 18:41:21 -0400 |
commit | 7e186f985bb40643125951d0dd944c8f2d31805b (patch) | |
tree | 2cdc71a8815189be0d6ee18e920b57dad252c2b7 /include/types.h | |
parent | feaf5cca383eef7caf103f6f3fd4a93725f6667b (diff) |
FFI transactionals
Diffstat (limited to 'include/types.h')
-rw-r--r-- | include/types.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 |