updated years again

arminbiere · Mar 30, 2024 · 2df7b7f · 2df7b7f
1 parent 6fa73b4
commit 2df7b7f
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 4 deletions.
diff --git a/src/mobical.cpp b/src/mobical.cpp
@@ -1,9 +1,10 @@
 /*------------------------------------------------------------------------*/
 /* Copyright (C) 2018-2021 Armin Biere, Johannes Kepler University Linz   */
-/* Copyright (C) 2020 Mathias Fleury, Johannes Kepler University Linz     */
+/* Copyright (C) 2020-2021 Mathias Fleury, Johannes Kepler University Linz*/
 /* Copyright (c) 2020-2021 Nils Froleyks, Johannes Kepler University Linz */
-/* Copyright (C) 2022-2023 Katalin Fazekas, Technical University of Vienna*/
-/* Copyright (C) 2021-2023 Armin Biere, University of Freiburg            */
+/* Copyright (C) 2022-2024 Katalin Fazekas, Technical University of Vienna*/
+/* Copyright (C) 2021-2024 Armin Biere, University of Freiburg            */
+/* Copyright (C) 2021-2023 Mathias Fleury, University of Freiburg         */
 /*------------------------------------------------------------------------*/
 
 // Model Based Tester for the CaDiCaL SAT Solver Library.

diff --git a/src/version.cpp b/src/version.cpp
@@ -33,7 +33,7 @@
 // The copyright of the code is here.
 
 static const char *COPYRIGHT =
-    "Copyright (c) 2016-2023 A. Biere, M. Fleury, N. Froleyks, K. Fazekas, "
+    "Copyright (c) 2016-2024 A. Biere, M. Fleury, N. Froleyks, K. Fazekas, "
     "F. Pollitt";
 
 /*------------------------------------------------------------------------*/