summaryrefslogtreecommitdiff
path: root/include
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 14:03:54 -0500
committerGravatar Adam Chlipala <adam@chlipala.net>2011-01-11 14:03:54 -0500
commitb6c2ebc6168eea0f7bdd203dd85cb87eeab5f293 (patch)
tree07c262b05b9acf20fbb9aaaef74b8a2b300ad330 /include
parentfb8539bea137355f9a7891bb8e4a775512971d5e (diff)
String processing optimizations
Diffstat (limited to 'include')
-rw-r--r--include/urweb.h1
1 files changed, 1 insertions, 0 deletions
diff --git a/include/urweb.h b/include/urweb.h
index 75f8e782..49281ac1 100644
--- a/include/urweb.h
+++ b/include/urweb.h
@@ -134,6 +134,7 @@ uw_Basis_bool uw_Basis_unurlifyBool(uw_context, char **);
uw_Basis_time uw_Basis_unurlifyTime(uw_context, char **);
uw_Basis_int uw_Basis_strlen(uw_context, const char *);
+uw_Basis_bool uw_Basis_strlenGe(uw_context, uw_Basis_string, uw_Basis_int);
uw_Basis_char uw_Basis_strsub(uw_context, const char *, uw_Basis_int);
uw_Basis_string uw_Basis_strsuffix(uw_context, const char *, uw_Basis_int);
uw_Basis_string uw_Basis_strcat(uw_context, const char *, const char *);