(minor) fix for file documentation

diff --git a/src/parser/smt/smt.cpp b/src/parser/smt/smt.cpp
index 4851c8737bec954f2f8b696838c4a2d69e812e97..53c58e2e6110c97d084df254b07c1b7c9a55459e 100644 (file)
--- 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 7df25749a784fb0b11e907433a57df5f2c077754..c6a15b3359866c70787b8447d06fbfa32fcb0780 100644 (file)
--- 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.
  **/