diff options
Diffstat (limited to 'src/c')
-rw-r--r-- | src/c/urweb.c | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c index e4aff33b..447733be 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -4103,16 +4103,6 @@ void uw_mayReturnIndirectly(uw_context ctx) { ctx->allowed_to_return_indirectly = 1; } -void uw_cutErrorLocation(char *s) { - char *s2; - - s2 = strstr(s, ": "); - if (s2 == NULL || strcspn(s, "<&") < s2 - s) - return; - - memmove(s, s2+2, strlen(s2+2)+1); -} - uw_Basis_string uw_Basis_fresh(uw_context ctx) { int len; char *r; |