** Don't fear the files-changed list, almost all changes are in the **

[cvc5.git] / test / unit / context / context_black.h

diff --git a/test/unit/context/context_black.h b/test/unit/context/context_black.h
index 46d01946b1d443d405b434d1fd57b81b4dc4943d..e5aee4baa60297392d001b3000728dd4d7a848d4 100644 (file)
--- a/test/unit/context/context_black.h
+++ b/test/unit/context/context_black.h
@@ -1,5 +1,6 @@
 /*********************                                                        */
-/** context_black.h
+/*! \file context_black.h
+ ** \verbatim
  ** Original author: dejan
  ** Major contributors: mdeters
  ** 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 Black box testing of CVC4::context::Context.
  **
  ** Black box testing of CVC4::context::Context.
  **/