diff options
Diffstat (limited to 'src/util/result.h')
| -rw-r--r-- | src/util/result.h | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/src/util/result.h b/src/util/result.h index 679e68763..e76e5605b 100644 --- a/src/util/result.h +++ b/src/util/result.h @@ -1,5 +1,6 @@ /********************* */ -/** result.h +/*! \file result.h + ** \verbatim ** Original author: mdeters ** Major contributors: none ** Minor contributors (to current version): none @@ -8,7 +9,9 @@ ** Courant Institute of Mathematical Sciences ** New York University ** See the file COPYING in the top-level source directory for licensing - ** information. + ** information.\endverbatim + ** + ** \brief Encapsulation of the result of a query. ** ** Encapsulation of the result of a query. **/ |