diff src/c/urweb.c @ 426:2a861b56969c

Remove debug print for optional inputs
author Adam Chlipala <adamc@hcoop.net>
date Fri, 24 Oct 2008 17:35:33 -0400
parents 7009b0ac1501
children 3ca00463de20
line wrap: on
line diff
--- a/src/c/urweb.c	Fri Oct 24 17:30:07 2008 -0400
+++ b/src/c/urweb.c	Fri Oct 24 17:35:33 2008 -0400
@@ -193,7 +193,7 @@
     uw_error(ctx, FATAL, "Negative input index %d", n);
   if (n >= uw_inputs_len)
     uw_error(ctx, FATAL, "Out-of-bounds input index %d", n);
-  printf("[%d] = %s\n", n, ctx->inputs[n]);
+  //printf("[%d] = %s\n", n, ctx->inputs[n]);
   return (ctx->inputs[n] == NULL ? "" : ctx->inputs[n]);
 }