diff src/c/urweb.c @ 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/src/c/urweb.c	Tue Nov 11 18:39:38 2008 -0500
+++ b/src/c/urweb.c	Tue Nov 11 19:20:37 2008 -0500
@@ -869,6 +869,13 @@
   return s;
 }
 
+uw_Basis_string uw_Basis_maybe_strdup(uw_context ctx, uw_Basis_string s1) {
+  if (s1)
+    return uw_Basis_strdup(ctx, s1);
+  else
+    return NULL;
+}
+
 
 char *uw_Basis_sqlifyInt(uw_context ctx, uw_Basis_int n) {
   int len;