From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 15 Jun 2010 15:55:22 +0000 (+0000)
Subject: (minor) fix for file documentation
X-Git-Tag: cvc5-1.0.0~8989
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=672c02a79ba691c33955cd7e7c62f932671e845c;p=cvc5.git

(minor) fix for file documentation
---

diff --git a/src/parser/smt/smt.cpp b/src/parser/smt/smt.cpp
index 4851c8737..53c58e2e6 100644
--- a/src/parser/smt/smt.cpp
+++ b/src/parser/smt/smt.cpp
@@ -1,14 +1,15 @@
 /*********************                                                        */
-/** smt.h
+/*! \file smt.cpp
+ ** \verbatim
  ** Original author: cconway
- ** Major contributors:
+ ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  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.
+ ** information.\endverbatim
  **
  ** Definitions of SMT constants.
  **/
diff --git a/src/parser/smt/smt.h b/src/parser/smt/smt.h
index 7df25749a..c6a15b335 100644
--- a/src/parser/smt/smt.h
+++ b/src/parser/smt/smt.h
@@ -1,14 +1,15 @@
 /*********************                                                        */
-/** smt.h
+/*! \file smt.h
+ ** \verbatim
  ** Original author: cconway
- ** Major contributors:
+ ** Major contributors: none
  ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  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.
+ ** information.\endverbatim
  **
  ** Definitions of SMT constants.
  **/