diff include/urweb/urweb.h @ 1880:0354df1b6849

Remove uw_cutErrorLocation() hijinks
author Adam Chlipala <adam@chlipala.net>
date Thu, 10 Oct 2013 18:31:10 -0400
parents 690638bd9fef
children a5b08bdfa450
line wrap: on
line diff
--- a/include/urweb/urweb.h	Thu Oct 10 18:04:29 2013 -0400
+++ b/include/urweb/urweb.h	Thu Oct 10 18:31:10 2013 -0400
@@ -351,8 +351,6 @@
 uw_Basis_bool uw_Basis_currentUrlHasPost(uw_context);
 uw_Basis_bool uw_Basis_currentUrlHasQueryString(uw_context);
 
-void uw_cutErrorLocation(char *);
-
 uw_Basis_string uw_Basis_fresh(uw_context);
 
 uw_Basis_float uw_Basis_floatFromInt(uw_context, uw_Basis_int);