From d4748e41f7fc4865db89ebac0c7f646dca82f89a Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 26 May 2009 12:25:06 -0400 Subject: Chars and more string operations --- include/types.h | 1 + 1 file changed, 1 insertion(+) (limited to 'include/types.h') 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; -- cgit v1.2.3