diff options
Diffstat (limited to 'src/proof/proof.h')
-rw-r--r-- | src/proof/proof.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/proof.h b/src/proof/proof.h index d69cd6198..97dad7150 100644 --- a/src/proof/proof.h +++ b/src/proof/proof.h @@ -29,7 +29,7 @@ * ... * #endif * - * The macro IS_PROOFS_BUILD is defined in util/configuration_private.h + * The macro IS_PROOFS_BUILD is defined in base/configuration_private.h * * This has the effect of forcing that location to have included this header * *before* performing this test. This includes C preprocessing expansion. @@ -42,7 +42,7 @@ * and should list the exceptions here: * - Makefile.am * - proof/proofs.h - * - util/configuration_private.h + * - base/configuration_private.h */ #ifdef CVC4_PROOF |