From 8495ee8e7de4a7e472d72cfb20290940c59794e3 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 10 Apr 2011 00:14:49 +0000
Subject: Add -lprofiler when --with-google-perftools is offered; also fix some
 newswire-raised documentation issues.

---
 src/theory/rewriter_tables_template.h | 24 +++++++++++++++++++++---
 1 file changed, 21 insertions(+), 3 deletions(-)

(limited to 'src/theory')

diff --git a/src/theory/rewriter_tables_template.h b/src/theory/rewriter_tables_template.h
index e26c879e4..cbbff95c1 100644
--- a/src/theory/rewriter_tables_template.h
+++ b/src/theory/rewriter_tables_template.h
@@ -1,3 +1,22 @@
+/*********************                                                        */
+/*! \file rewriter_tables_template.h
+ ** \verbatim
+ ** Original author: dejan
+ ** Major contributors: none
+ ** Minor contributors (to current version): none
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009, 2010, 2011  The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.\endverbatim
+ **
+ ** \brief Rewriter tables for various theories
+ **
+ ** This file contains template code for the rewriter tables that are generated
+ ** from the Theory kinds files.
+ **/
+
 #pragma once
 
 #include "theory/rewriter.h"
@@ -56,7 +75,6 @@ ${post_rewrite_set_cache}
   }
 }
 
-
 void Rewriter::init() {
 ${rewrite_init}
 }
@@ -65,5 +83,5 @@ void Rewriter::shutdown() {
 ${rewrite_shutdown}
 }
 
-}
-}
+}/* CVC4::theory namespace */
+}/* CVC4 namespace */
-- 
cgit v1.2.3