diff src/c/urweb.c @ 1880:0354df1b6849

Remove uw_cutErrorLocation() hijinks
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:31:10 -0400
parents 22b44fe822bf
children 52e88e139b25
line wrap: on
line diff
--- a/src/c/urweb.c	Thu Oct 10 18:04:29 2013 -0400
+++ b/src/c/urweb.c	Thu Oct 10 18:31:10 2013 -0400
@@ -4103,16 +4103,6 @@
   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;