diff src/c/urweb.c @ 1109:631a3597c065

Proper [un]urlification of unit
author Adam Chlipala <adamc@hcoop.net>
date Fri, 01 Jan 2010 12:48:06 -0500
parents a5c160636832
children 7fc4e0087e50
line wrap: on
line diff
--- a/src/c/urweb.c	Fri Jan 01 10:49:36 2010 -0500
+++ b/src/c/urweb.c	Fri Jan 01 12:48:06 2010 -0500
@@ -1793,6 +1793,11 @@
   return r;
 }
 
+uw_Basis_unit uw_Basis_unurlifyUnit(uw_context ctx, char **s) {
+  *s = uw_unurlify_advance(*s);
+  return uw_unit_v;
+}
+
 uw_Basis_string uw_Basis_unurlifyString_fromClient(uw_context ctx, char **s) {
   char *new_s = uw_unurlify_advance(*s);
   char *r, *s1, *s2;