diff options
Diffstat (limited to 'src/post-refinement.h')
| -rw-r--r-- | src/post-refinement.h | 2 |
1 files changed, 1 insertions, 1 deletions
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, }; |