diff include/types.h @ 189:20bf7487c370

Update bool to follow datatype representation change
author Adam Chlipala <adamc@hcoop.net>
date Sun, 03 Aug 2008 19:52:37 -0400
parents 88d46972de53
children ed4af33681d8
line wrap: on
line diff
--- a/include/types.h	Sun Aug 03 19:49:21 2008 -0400
+++ b/include/types.h	Sun Aug 03 19:52:37 2008 -0400
@@ -8,11 +8,7 @@
 typedef struct __lws_0 lw_unit;
 typedef lw_unit lw_Basis_unit;
 
-enum lw_Basis_bool_enum { lw_Basis_False, lw_Basis_True };
-
-typedef struct lw_Basis_bool {
-  enum lw_Basis_bool_enum tag;
-} *lw_Basis_bool;
+typedef enum lw_Basis_bool { lw_Basis_False, lw_Basis_True } lw_Basis_bool;
 
 typedef struct lw_context *lw_context;