1 files changed, 17 insertions, 18 deletions
diff --git a/src/parser/bounded_token_factory.h b/src/parser/bounded_token_factory.h
index 1de4fee5d..9211ef47c 100644
--- a/src/parser/bounded_token_factory.h
+++ b/src/parser/bounded_token_factory.h
@@ -1,21 +1,20 @@
-/*********************                                                        */
-/*! \file bounded_token_factory.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Christopher L. Conway, Mathias Preiner, Morgan Deters
- ** This file is part of the CVC4 project.
- ** Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
- ** in the top-level source directory and their institutional affiliations.
- ** All rights reserved.  See the file COPYING in the top-level source
- ** directory for licensing information.\endverbatim
- **
- ** \brief An ANTLR3 bounded token factory.
- **
- ** An ANTLR3 bounded token factory. The factory has a fixed number of
- ** tokens that are re-used as parsing proceeds. Only use this factory
- ** if you *know* that the number of active tokens will be bounded
- ** (e.g., if you're using a bounded token stream).
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Christopher L. Conway, Mathias Preiner, Morgan Deters
+ *
+ * This file is part of the cvc5 project.
+ *
+ * Copyright (c) 2009-2021 by the authors listed in the file AUTHORS
+ * in the top-level source directory and their institutional affiliations.
+ * All rights reserved.  See the file COPYING in the top-level source
+ * directory for licensing information.
+ * ****************************************************************************
+ * An ANTLR3 bounded token factory.
+ *
+ * The factory has a fixed number of tokens that are re-used as parsing
+ * proceeds. Only use this factory if you *know* that the number of active
+ * tokens will be bounded (e.g., if you're using a bounded token stream).
+ */
 
 #include "cvc4parser_private.h"