diff include/types.h @ 821:395a5d450cc0

Chars and more string operations
author Adam Chlipala <adamc@hcoop.net>
date Tue, 26 May 2009 12:25:06 -0400
parents eac1974924bb
children 19fdeef40ada
line wrap: on
line diff
--- a/include/types.h	Sat May 23 10:14:51 2009 -0400
+++ b/include/types.h	Tue May 26 12:25:06 2009 -0400
@@ -6,6 +6,7 @@
 typedef long long uw_Basis_int;
 typedef double uw_Basis_float;
 typedef char* uw_Basis_string;
+typedef char uw_Basis_char;
 typedef time_t uw_Basis_time;
 typedef struct {
   size_t size;