diff options
author | 2013-10-10 18:31:10 -0400 | |
---|---|---|
committer | 2013-10-10 18:31:10 -0400 | |
commit | b877e9c099be92c78a439e9e9cb6553467f28237 (patch) | |
tree | 08d5312366dba0153438c5c857ead3d0d93e696c /src/c/urweb.c | |
parent | 71c58074582c14d4ff6ba38f60be80dad0e36be5 (diff) |
Remove uw_cutErrorLocation() hijinks
Diffstat (limited to 'src/c/urweb.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; |