diff options
Diffstat (limited to 'src/derives.c')
| -rw-r--r-- | src/derives.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/derives.c b/src/derives.c index f88b7002..c5b67104 100644 --- a/src/derives.c +++ b/src/derives.c @@ -101,7 +101,7 @@ set_derives (void) *q++ = -1; } - if (trace_flag) + if (trace_flag & trace_sets) print_derives (); free (dset + ntokens); |