1 files changed, 6 insertions, 7 deletions
diff --git a/src/decision/decision_strategy.h b/src/decision/decision_strategy.h
index ee7d340c4..dd6c7f548 100644
--- a/src/decision/decision_strategy.h
+++ b/src/decision/decision_strategy.h
@@ -27,8 +27,8 @@ namespace CVC4 {
 class DecisionEngine;
 
 namespace context {
-class Context;
-}
+  class Context;
+}/* CVC4::context namespace */
 
 namespace decision {
 
@@ -47,7 +47,7 @@ public:
   virtual bool needIteSkolemMap() { return false; }
   
   virtual void notifyAssertionsAvailable() { return; }
-};
+};/* class DecisionStrategy */
 
 class ITEDecisionStrategy : public DecisionStrategy {
 public:
@@ -61,7 +61,7 @@ public:
   virtual void addAssertions(const std::vector<Node> &assertions,
                              unsigned assertionsEnd,
                              IteSkolemMap iteSkolemMap) = 0;
-};
+};/* class ITEDecisionStrategy */
 
 class RelevancyStrategy : public ITEDecisionStrategy {
 public:
@@ -71,10 +71,9 @@ public:
 
   virtual bool isRelevant(TNode n) = 0;
   virtual prop::SatValue getPolarity(TNode n) = 0;
-};
+};/* class RelevancyStrategy */
 
-
-}/* decision namespace */
+}/* CVC4::decision namespace */
 }/* CVC4 namespace */
 
 #endif /* __CVC4__DECISION__DECISION_STRATEGY_H */