diff options
Diffstat (limited to 'src/reduce.c')
| -rw-r--r-- | src/reduce.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/reduce.c b/src/reduce.c index aa17655..9e7520d 100644 --- a/src/reduce.c +++ b/src/reduce.c @@ -11,12 +11,6 @@ static struct term *substitute(struct term *term, struct term *substitution, size_t level) { - /* fprintf(stderr, "substitute: "); */ - /* term_print(term); */ - /* fprintf(stderr, " with "); */ - /* term_print(substitution); */ - /* fprintf(stderr, " at level %ld\n", level); */ - if (term->type == VAR) { if (term->u.var.index == level) { // TODO: deref index |