Future/bison
1
0
Fork 0
mirror of https://git.savannah.gnu.org/git/bison.git synced 2026-03-18 08:43:03 +00:00
Code Issues Packages Projects Releases Wiki Activity

traces: make closure() less verbose

Browse Source 
* src/getargs.h, src/getargs.c (trace_closure): New.
* src/closure.c (closure): Use it.
This commit is contained in:
Akim Demaille
2019-04-14 18:08:39 +02:00
parent 4ec413da32
commit 9ad7524659
3 changed files with 5 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
src/closure.c
View File

@@ -184,7 +184,7 @@ closure_new (unsigned n)
void
closure (item_number const *core, size_t n)
{
if (trace_flag & trace_sets)
if (trace_flag & trace_closure)
closure_print ("input", core, n);
bitset_zero (ruleset);
@@ -221,7 +221,7 @@ closure (item_number const *core, size_t n)
c++;
}
if (trace_flag & trace_sets)
if (trace_flag & trace_closure)
closure_print ("output", itemset, nitemset);
}