diff options
| author | krasimir <krasimir@chalmers.se> | 2015-05-08 09:23:29 +0000 |
|---|---|---|
| committer | krasimir <krasimir@chalmers.se> | 2015-05-08 09:23:29 +0000 |
| commit | 365c7bb1d867b6080f8f75ae6bd4e5f68522a1be (patch) | |
| tree | 93df808b50d6d894d644060bd26e60838ee49822 /src/runtime/c/gu | |
| parent | b961e9a2557ad3cc6023252abff1d02f3d067834 (diff) | |
the parser is now fully Unicode compatible
Diffstat (limited to 'src/runtime/c/gu')
| -rw-r--r-- | src/runtime/c/gu/utf8.h | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/runtime/c/gu/utf8.h b/src/runtime/c/gu/utf8.h index 3ad28946d..be3ab0412 100644 --- a/src/runtime/c/gu/utf8.h +++ b/src/runtime/c/gu/utf8.h @@ -40,10 +40,4 @@ gu_utf8_encode(GuUCS ucs, uint8_t** buf); void gu_in_utf8_buf(uint8_t** buf, GuIn* in, GuExn* err); -static inline bool -gu_is_space(uint8_t c) { - return (c == '\t' || c == '\n' || c == '\v' || - c == '\f' || c == '\r' || c == ' '); -} - #endif // GU_UTF8_H_ |