1 files changed, 10 insertions, 5 deletions
diff --git a/src/proof/proof_manager.h b/src/proof/proof_manager.h
index e23fbd600..7719fc304 100644
--- a/src/proof/proof_manager.h
+++ b/src/proof/proof_manager.h
@@ -18,6 +18,8 @@
  ** 
  **/
 
+#include "cvc4_private.h"
+
 #ifndef __CVC4__PROOF_MANAGER_H
 #define __CVC4__PROOF_MANAGER_H
 
@@ -26,13 +28,15 @@
 
 // forward declarations
 namespace Minisat {
-class Solver;
+  class Solver;
 }
 
 namespace CVC4 {
+
 namespace prop {
-class CnfStream;
+  class CnfStream;
 }
+
 class Proof;
 class SatProof;
 class CnfProof;
@@ -41,7 +45,7 @@ class CnfProof;
 enum ProofFormat {
   LFSC,
   NATIVE
-};
+};/* enum ProofFormat */
 
 class ProofManager {
   SatProof*   d_satProof;
@@ -61,7 +65,8 @@ public:
   static SatProof* getSatProof();
   static CnfProof* getCnfProof();
 
-};
+};/* class ProofManager */
+
+}/* CVC4 namespace */
 
-} /* CVC4 namespace*/ 
 #endif /* __CVC4__PROOF_MANAGER_H */