diff src/c/urweb.c @ 792:d20d6afc1206

Improvements while working on Graftid
author Adam Chlipala <adamc@hcoop.net>
date Tue, 12 May 2009 18:02:25 -0400
parents 8ed1261f838c
children 5f49a6b759cb
line wrap: on
line diff
--- a/src/c/urweb.c	Sun May 10 10:13:41 2009 -0400
+++ b/src/c/urweb.c	Tue May 12 18:02:25 2009 -0400
@@ -2289,6 +2289,8 @@
         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) {