diff options
author | Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:31:10 -0400 |
---|---|---|
committer | Adam Chlipala <adam@chlipala.net> | 2013-10-10 18:31:10 -0400 |
commit | 7aa82ab7d08f012da50fded7dce93f2adffd2706 (patch) | |
tree | 08d5312366dba0153438c5c857ead3d0d93e696c /src/c | |
parent | 7244c28025a9f64e444aabedfbae0b8a17fe25c1 (diff) |
Remove uw_cutErrorLocation() hijinks
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; |