# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1253316609 14400
# Node ID 53b9aeac676c2658221d30cd77961640418c4d42
# Parent  3aaac251a5af6f31752580a74d44f515c26153e4
Fix C substring implementation

diff -r 3aaac251a5af -r 53b9aeac676c src/c/urweb.c
--- a/src/c/urweb.c	Thu Sep 17 19:15:10 2009 -0400
+++ b/src/c/urweb.c	Fri Sep 18 19:30:09 2009 -0400
@@ -1912,7 +1912,7 @@
     return &s[start];
   else {
     uw_Basis_string r = uw_malloc(ctx, len+1);
-    memcpy(r, s, len);
+    memcpy(r, s+start, len);
     r[len] = 0;
     return r;
   }