summaryrefslogtreecommitdiff
path: root/include/types.h
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2009-05-26 12:25:06 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2009-05-26 12:25:06 -0400
commitd8801e05ef2f81f21eb27555b626ee2e52c3365f (patch)
tree53e0b285bbcb0e28d3cbbd507da21fcc41d8995e /include/types.h
parent5232b7e45cf55208a0a3ea41395bb9f87d06dd21 (diff)
Chars and more string operations
Diffstat (limited to 'include/types.h')
-rw-r--r--include/types.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/types.h b/include/types.h
index 89e88b88..ca9ef152 100644
--- a/include/types.h
+++ b/include/types.h
@@ -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;