diff options
| author | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
|---|---|---|
| committer | Wiimm <wiimm@wiimm.de> | 2022-07-09 11:48:24 +0200 |
| commit | 06ff18cd020779c226f7c25d22016e06b898f303 (patch) | |
| tree | b5c12ca4c6b9b0c86e63d2b6a965b8bd74dd0d86 /project/src/lib-kmp-pflags.c | |
| parent | f30e94a61fdc9fb13fd1fbd8b75502fedf5a2f71 (diff) | |
SZS v2.28a.beta
Diffstat (limited to 'project/src/lib-kmp-pflags.c')
| -rw-r--r-- | project/src/lib-kmp-pflags.c | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/project/src/lib-kmp-pflags.c b/project/src/lib-kmp-pflags.c index d6d84da..3f827a3 100644 --- a/project/src/lib-kmp-pflags.c +++ b/project/src/lib-kmp-pflags.c @@ -1468,7 +1468,7 @@ void AnalysePFlagScenarios } #if defined(TEST) || defined(HAVE_WIIMM_EXT) - if ( logging > 1 ) + if ( logging >= 2 ) { XDump_t xd; InitializeXDump(&xd); @@ -1869,7 +1869,7 @@ static uint DiffXPF ( xpf_mode1_info_t *l1, xpf_mode1_info_t *l2, int loop ) //--- logging - if ( logging > 1 ) + if ( logging >= 2 ) { LogListXPF(l1,1,"patching list",loop,max_eval); LogListXPF(l2,2,"reference list",loop,max_eval); @@ -1951,7 +1951,7 @@ enumError RepairXPF ( kmp_t *kmp ) while (DiffXPF(kinfo,rinfo,loop)) loop++; - if ( logging > 1 ) + if ( logging >= 2 ) fputc('\n',stdlog); FREE(rinfo); |