diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-25 15:16:43 -0500 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-01-25 17:39:21 -0500 |
commit | 195dffbb7468e814d3dc3226666688869c13ba3d (patch) | |
tree | 4c4915245a90615ea36cbcfbb4a8a6dcc910c384 /src/proof | |
parent | 73760b3c213733fc98d67f9ceeb74d06b01a3777 (diff) |
Fix errors and reduce warnings on clang (merge from mdeters/clang)
Diffstat (limited to 'src/proof')
-rw-r--r-- | src/proof/proof_manager.cpp | 2 | ||||
-rw-r--r-- | src/proof/proof_manager.h | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/proof/proof_manager.cpp b/src/proof/proof_manager.cpp index d05fe24a7..c1351c6a2 100644 --- a/src/proof/proof_manager.cpp +++ b/src/proof/proof_manager.cpp @@ -26,7 +26,7 @@ namespace CVC4 { bool ProofManager::isInitialized = false; ProofManager* ProofManager::proofManager = NULL; -ProofManager::ProofManager(ProofFormat format = LFSC): +ProofManager::ProofManager(ProofFormat format): d_satProof(NULL), d_cnfProof(NULL), d_format(format) diff --git a/src/proof/proof_manager.h b/src/proof/proof_manager.h index 3bfff1456..91eb2ed99 100644 --- a/src/proof/proof_manager.h +++ b/src/proof/proof_manager.h @@ -52,7 +52,7 @@ class ProofManager { static ProofManager* proofManager; static bool isInitialized; - ProofManager(ProofFormat format); + ProofManager(ProofFormat format = LFSC); public: static ProofManager* currentPM(); |