diff include/types.h @ 756:8ce31c052dce

Subforms
author Adam Chlipala <adamc@hcoop.net>
date Tue, 28 Apr 2009 17:26:53 -0400
parents f7e2026dd5ae
children fa2019a63ea4
line wrap: on
line diff
--- a/include/types.h	Tue Apr 28 15:15:21 2009 -0400
+++ b/include/types.h	Tue Apr 28 17:26:53 2009 -0400
@@ -35,6 +35,7 @@
 
 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