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/main/main.h | 10 +++++-----
 1 file changed, 5 insertions(+), 5 deletions(-)

(limited to 'src/main/main.h')

diff --git a/src/main/main.h b/src/main/main.h
index 4101f4fe4..d0a517967 100644
--- a/src/main/main.h
+++ b/src/main/main.h
@@ -6,11 +6,11 @@
 #include "util/exception.h"
 #include "util/options.h"
 
-#ifndef __CVC4_MAIN_H
-#define __CVC4_MAIN_H
+#ifndef __CVC4__MAIN__MAIN_H
+#define __CVC4__MAIN__MAIN_H
 
 namespace CVC4 {
-namespace Main {
+namespace main {
 
 class OptionException : public CVC4::Exception {
 public:
@@ -20,7 +20,7 @@ public:
 int parseOptions(int argc, char** argv, CVC4::Options*) throw(CVC4::Exception*);
 void cvc4_init() throw();
 
-}/* CVC4::Main namespace */
+}/* CVC4::main namespace */
 }/* CVC4 namespace */
 
-#endif /* __CVC4_MAIN_H */
+#endif /* __CVC4__MAIN__MAIN_H */
-- 
cgit v1.2.3