X-Git-Url: https://git.libre-soc.org/?a=blobdiff_plain;f=src%2Ftheory%2Farith%2Fnl%2Fext_theory_callback.h;h=a810d9d537b32af18623079728040a2b75b13678;hb=4a8d2407468eee50c91fc6cbe19f5edd8feeb688;hp=56faacddde7f8bd7a42e774892fd48da8c326a35;hpb=550c49a7dd2b13ea29743458336f0c0a0fb6099a;p=cvc5.git

diff --git a/src/theory/arith/nl/ext_theory_callback.h b/src/theory/arith/nl/ext_theory_callback.h
index 56faacddd..a810d9d53 100644
--- a/src/theory/arith/nl/ext_theory_callback.h
+++ b/src/theory/arith/nl/ext_theory_callback.h
@@ -1,16 +1,17 @@
-/*********************                                                        */
-/*! \file ext_theory_callback.h
- ** \verbatim
- ** Top contributors (to current version):
- **   Andrew Reynolds, Tim King
- ** 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 The extended theory callback for non-linear arithmetic
- **/
+/******************************************************************************
+ * Top contributors (to current version):
+ *   Andrew Reynolds, Tim King, Gereon Kremer
+ *
+ * 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.
+ * ****************************************************************************
+ *
+ * The extended theory callback for non-linear arithmetic.
+ */
 
 #ifndef CVC5__THEORY__ARITH__NL__EXT_THEORY_CALLBACK_H
 #define CVC5__THEORY__ARITH__NL__EXT_THEORY_CALLBACK_H