diff include/urweb.h @ 493:ae03d09043c1

Add CutMulti
author Adam Chlipala <adamc@hcoop.net>
date Tue, 11 Nov 2008 19:20:37 -0500
parents 5521bb0b4014
children 6daa59a55c43
line wrap: on
line diff
--- a/include/urweb.h	Tue Nov 11 18:39:38 2008 -0500
+++ b/include/urweb.h	Tue Nov 11 19:20:37 2008 -0500
@@ -75,6 +75,7 @@
 
 uw_Basis_string uw_Basis_strcat(uw_context, uw_Basis_string, uw_Basis_string);
 uw_Basis_string uw_Basis_strdup(uw_context, uw_Basis_string);
+uw_Basis_string uw_Basis_maybe_strdup(uw_context, uw_Basis_string);
 
 uw_Basis_string uw_Basis_sqlifyInt(uw_context, uw_Basis_int);
 uw_Basis_string uw_Basis_sqlifyFloat(uw_context, uw_Basis_float);