1 files changed, 6 insertions, 4 deletions
diff --git a/src/prop/sat.h b/src/prop/sat.h
index 00a94c142..32ca9e983 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -9,11 +9,13 @@
  **
  **/
 
-#ifndef __CVC4_SAT_H
-#define __CVC4_SAT_H
+#ifndef __CVC4__PROP__SAT_H
+#define __CVC4__PROP__SAT_H
 
 namespace CVC4 {
+namespace prop {
 
-} /* CVC4 namespace */
+}/* CVC4::prop namespace */
+}/* CVC4 namespace */
 
-#endif /* __CVC4_SAT_H */
+#endif /* __CVC4__PROP__SAT_H */