diff options
| author | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
|---|---|---|
| committer | Morgan Deters <mdeters@gmail.com> | 2012-09-15 22:41:03 +0000 |
| commit | c00efa92e9d61d808a8346e1d8bb3523e24d8ee2 (patch) | |
| tree | 85ecfd0e8770ef539f36ec04afd34a583e75cf38 /src/proof | |
| parent | c09fae89b38b525c6e2ab1691be4363d0cb1157b (diff) | |
minor interface improvements, compliance fixes
(this commit was certified error- and warning-free by the test-and-commit script.)
Diffstat (limited to 'src/proof')
| -rw-r--r-- | src/proof/options | 3 | ||||
| -rw-r--r-- | src/proof/proof.h | 2 |
2 files changed, 1 insertions, 4 deletions
diff --git a/src/proof/options b/src/proof/options index f00c8fc75..af4ffeb93 100644 --- a/src/proof/options +++ b/src/proof/options @@ -5,7 +5,4 @@ module PROOF "proof/options.h" Proof -option proof produce-proofs --proof bool - turn on proof generation - endmodule diff --git a/src/proof/proof.h b/src/proof/proof.h index 4b76d70ae..4ce621e43 100644 --- a/src/proof/proof.h +++ b/src/proof/proof.h @@ -19,7 +19,7 @@ #ifndef __CVC4__PROOF__PROOF_H #define __CVC4__PROOF__PROOF_H -#include "proof/options.h" +#include "smt/options.h" #ifdef CVC4_PROOF # define PROOF(x) if(options::proof()) { x; } |