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

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

diff --git a/src/util/congruence_closure.h b/src/util/congruence_closure.h
index 2b7cddcf0..88c17a193 100644
--- a/src/util/congruence_closure.h
+++ b/src/util/congruence_closure.h
@@ -21,14 +21,13 @@
 #ifndef __CVC4__UTIL__CONGRUENCE_CLOSURE_H
 #define __CVC4__UTIL__CONGRUENCE_CLOSURE_H
 
+#include <sstream>
 #include <list>
+
 #include <ext/hash_map>
-#include <ext/hash_set>
-#include <sstream>
 
 #include "expr/node_manager.h"
 #include "expr/node.h"
-#include "context/context.h"
 #include "context/cdmap.h"
 #include "context/cdset.h"
 #include "context/cdlist.h"
-- 
cgit v1.2.3