diff src/c/urweb.c @ 2085:fd6d362666c0

Optimizing writes of single characters
author Adam Chlipala <adam@chlipala.net>
date Thu, 04 Dec 2014 19:54:04 -0500
parents 1839df6ed755
children 7755f00a4fc3 5709482a2afd
line wrap: on
line diff
--- a/src/c/urweb.c	Thu Dec 04 02:47:24 2014 -0500
+++ b/src/c/urweb.c	Thu Dec 04 19:54:04 2014 -0500
@@ -1659,6 +1659,10 @@
   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);