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 | 0f298a5396cf95f4e58988583f862a4b97444bec (patch) | |
tree | cfce730aeca8d6832d9ec09d1e4d3450f85a444d /include/types.h | |
parent | 43bdca1c4bef142cde7080f317a4686b01721359 (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 |