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/util/model.h | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/util/model.h')

diff --git a/src/util/model.h b/src/util/model.h
index c07b75dfa..cf006b3e1 100644
--- a/src/util/model.h
+++ b/src/util/model.h
@@ -9,8 +9,8 @@
  **
  **/
 
-#ifndef __CVC4_MODEL_H
-#define __CVC4_MODEL_H
+#ifndef __CVC4__MODEL_H
+#define __CVC4__MODEL_H
 
 namespace CVC4 {
 
@@ -19,4 +19,4 @@ class Model {
 
 }/* CVC4 namespace */
 
-#endif /* __CVC4_MODEL_H */
+#endif /* __CVC4__MODEL_H */
-- 
cgit v1.2.3