diff options
author | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 17:26:53 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@hcoop.net> | 2009-04-28 17:26:53 -0400 |
commit | 0264695e9a76f87e6164c489c34af63fa893889d (patch) | |
tree | cfce730aeca8d6832d9ec09d1e4d3450f85a444d /include/types.h | |
parent | 243ec1bee9539195d85bfa8928c84ead412f2413 (diff) |
Subforms
Diffstat (limited to 'include/types.h')
-rw-r--r-- | include/types.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/types.h b/include/types.h index 71a5ee0f..ddf17552 100644 --- a/include/types.h +++ b/include/types.h @@ -35,6 +35,7 @@ typedef struct uw_Basis_file { typedef enum { SUCCESS, FATAL, BOUNDED_RETRY, UNLIMITED_RETRY, RETURN_BLOB } failure_kind; +typedef struct input *uw_input; #define INTS_MAX 50 #define FLOATS_MAX 100 |