summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorGravatar Adam Chlipala <adamc@hcoop.net>2008-10-24 17:35:33 -0400
committerGravatar Adam Chlipala <adamc@hcoop.net>2008-10-24 17:35:33 -0400
commit3c9b2478f8f4a15672c132ef43aacbac2c8b333d (patch)
tree89fe01ebd4b24c4ce68012cd88471e7091397ba6
parentc6ed3035896b5cca544ef9bf245cd76019783b1f (diff)
Remove debug print for optional inputs
-rw-r--r--src/c/urweb.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/src/c/urweb.c b/src/c/urweb.c
index 039ba119..174185da 100644
--- a/src/c/urweb.c
+++ b/src/c/urweb.c
@@ -193,7 +193,7 @@ char *uw_get_optional_input(uw_context ctx, int n) {
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]);
}