From b0eb28d7ea4eb75efce79ab7493b9e21842b80b4 Mon Sep 17 00:00:00 2001 From: Adam Chlipala Date: Tue, 12 May 2009 18:02:25 -0400 Subject: Improvements while working on Graftid --- src/c/urweb.c | 2 ++ 1 file changed, 2 insertions(+) (limited to 'src/c') diff --git a/src/c/urweb.c b/src/c/urweb.c index 75d42a6c..2ddc273a 100644 --- a/src/c/urweb.c +++ b/src/c/urweb.c @@ -2289,6 +2289,8 @@ uw_Basis_string uw_Basis_get_cookie(uw_context ctx, uw_Basis_string c) { return NULL; } } + + return NULL; } uw_unit uw_Basis_set_cookie(uw_context ctx, uw_Basis_string prefix, uw_Basis_string c, uw_Basis_string v) { -- cgit v1.2.3