From 514bde72c4a3f291221bbb362b9496c020042925 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 4 Dec 2014 19:54:04 -0500
Subject: Optimizing writes of single characters

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

(limited to 'src/c/urweb.c')

diff --git a/src/c/urweb.c b/src/c/urweb.c
index 1f2c8b3c..e2881b05 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -1659,6 +1659,10 @@ void uw_writec(uw_context ctx, char c) {
   uw_writec_unsafe(ctx, c);
 }
 
+void uw_Basis_writec(uw_context ctx, char c) {
+  uw_writec(ctx, c);
+}
+
 static void uw_write_unsafe(uw_context ctx, const char* s) {
   int len = strlen(s);
   memcpy(ctx->page.front, s, len);
-- 
cgit v1.2.3