From cd98370b338a0cc5343067151884a06431a1d92c Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 19 Nov 2009 22:07:01 +0000
Subject: testing framework, configure fixes, incorporations from meeting,
 continued work

---
 src/prop/sat.h | 10 ++++++----
 1 file changed, 6 insertions(+), 4 deletions(-)

(limited to 'src/prop/sat.h')

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 */
-- 
cgit v1.2.3