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
commitf5aed55553fddedd52105461e49411bb48e34de3 (patch)
tree89fe01ebd4b24c4ce68012cd88471e7091397ba6
parent6e9d4b27c527465c6df34d35e4d85dc3162db7c9 (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]);
}