From 7719416c6698cdc49b7a0d2d62b4472ef815a487 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 4 Oct 2010 04:20:19 +0000
Subject: remove/shuffle some #include dependencies; fix some documentation;
 apply coding standards

---
 src/util/bitvector.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/util/bitvector.cpp')

diff --git a/src/util/bitvector.cpp b/src/util/bitvector.cpp
index 7c837083c..8ea95e1c9 100644
--- a/src/util/bitvector.cpp
+++ b/src/util/bitvector.cpp
@@ -29,4 +29,4 @@ std::ostream& operator <<(std::ostream& os, const BitVectorExtract& bv) {
   return os << "[" << bv.high << ":" << bv.low << "]";
 }
 
-}
+}/* CVC4 namespace */
-- 
cgit v1.2.3