From 14776d0aeb833a7e728a27af6ef545f20b495f7f Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Fri, 16 Aug 2013 15:15:03 -0400
Subject: Documentation fixes, some code typo fixes, file perms, other minor
 things.

---
 src/theory/ite_simplifier.h | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/theory/ite_simplifier.h')

diff --git a/src/theory/ite_simplifier.h b/src/theory/ite_simplifier.h
index 0f648f91d..2329cd970 100644
--- a/src/theory/ite_simplifier.h
+++ b/src/theory/ite_simplifier.h
@@ -43,6 +43,7 @@
 #include "util/ite_removal.h"
 
 namespace CVC4 {
+namespace theory {
 
 class ITESimplifier {
   Node d_true;
@@ -160,6 +161,7 @@ public:
 
 };
 
-}
+}/* CVC4::theory namespace */
+}/* CVC4 namespace */
 
 #endif
-- 
cgit v1.2.3