diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/post-refinement.c | 2 | ||||
| -rw-r--r-- | src/post-refinement.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/post-refinement.c b/src/post-refinement.c index ebaf66ab..0a799b9e 100644 --- a/src/post-refinement.c +++ b/src/post-refinement.c @@ -69,7 +69,7 @@ const char *str_prflag(enum prflag flag) case PRFLAG_EARLY : return "early rejection"; - case PRFLAG_CC : + case PRFLAG_DELTACCHALF : return "negative delta CC½"; case PRFLAG_BIGB : diff --git a/src/post-refinement.h b/src/post-refinement.h index 71a6d7f3..e2873b76 100644 --- a/src/post-refinement.h +++ b/src/post-refinement.h @@ -50,7 +50,7 @@ enum prflag PRFLAG_FEWREFL = 16, PRFLAG_SOLVEFAIL = 17, PRFLAG_EARLY = 18, - PRFLAG_CC = 19, + PRFLAG_DELTACCHALF = 19, PRFLAG_BIGB = 20, PRFLAG_SCALEBAD = 21, }; |