From: Morgan Deters <mdeters@cs.nyu.edu>
Date: Tue, 17 Jun 2014 22:33:28 +0000 (-0400)
Subject: More minor code cleanup.
X-Git-Tag: cvc5-1.0.0~6775
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5206b2fd6e290ff27f682d97f6248acf7ecd2810;p=cvc5.git

More minor code cleanup.
---

diff --git a/src/util/bin_heap.h b/src/util/bin_heap.h
index 9238d12a5..f8bfe9137 100644
--- a/src/util/bin_heap.h
+++ b/src/util/bin_heap.h
@@ -1,11 +1,25 @@
+/*********************                                                        */
+/*! \file bin_heap.h
+ ** \verbatim
+ ** Original author: Tim King
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 project.
+ ** Copyright (c) 2009-2014  New York University and The University of Iowa
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief An implementation of a binary heap
+ **
+ ** An implementation of a binary heap.
+ ** Attempts to roughly follow the contract of Boost's d_ary_heap.
+ ** (http://www.boost.org/doc/libs/1_49_0/doc/html/boost/heap/d_ary_heap.html)
+ ** Also attempts to generalize ext/pd_bs/priority_queue.
+ ** (http://gcc.gnu.org/onlinedocs/libstdc++/ext/pb_ds/priority_queue.html)
+ **/
+
+#include "cvc4_private.h"
 
-/**
- * An implementation of a binary heap.
- * Attempts to roughly follow the contract of Boost's d_ary_heap.
- * (http://www.boost.org/doc/libs/1_49_0/doc/html/boost/heap/d_ary_heap.html)
- * Also attempts to generalize ext/pd_bs/priority_queue.
- * (http://gcc.gnu.org/onlinedocs/libstdc++/ext/pb_ds/priority_queue.html)
- */
 namespace CVC4 {
 
 template <class Elem, class CmpFcn = std::less<Elem> >