# HG changeset patch
# User Adam Chlipala <adamc@hcoop.net>
# Date 1224884133 14400
# Node ID 2a861b56969cea3f09a9e5451b3acde746516ef4
# Parent  7009b0ac15014598e4292fd818697735150dbe52
Remove debug print for optional inputs

diff -r 7009b0ac1501 -r 2a861b56969c src/c/urweb.c
--- 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]);
 }