diff options
Diffstat (limited to 'src/proof/proof.h')
-rw-r--r-- | src/proof/proof.h | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/proof/proof.h b/src/proof/proof.h index f163a4ffd..3e5b54cc7 100644 --- a/src/proof/proof.h +++ b/src/proof/proof.h @@ -1,5 +1,5 @@ /********************* */ -/*! \file sat_proof.h +/*! \file proof.h ** \verbatim ** Original author: lianah ** Major contributors: none @@ -20,7 +20,6 @@ #define __CVC4__PROOF_H #include "util/options.h" -//#define CVC4_PROOFS #ifdef CVC4_PROOF # define PROOF(x) if(Options::current()->proof) { x; } |