From 17cb59d373d1a94731d3730b938776b524d9f81c Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adamc@hcoop.net>
Date: Thu, 9 Apr 2009 16:36:50 -0400
Subject: URLs

---
 src/c/urweb.c | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/c')

diff --git a/src/c/urweb.c b/src/c/urweb.c
index 67985d35..89358a06 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -1973,3 +1973,7 @@ failure_kind uw_initialize(uw_context ctx) {
 
   return r;
 }
+
+uw_Basis_string uw_Basis_bless(uw_context ctx, uw_Basis_string s) {
+  return s;
+}
-- 
cgit v1.2.3