diff --git a/src/mobical.cpp b/src/mobical.cpp
index 5fa2f9c1..386f67ee 100644
--- 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
index cd384301..a98837d7 100644
--- 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";
 
 /*------------------------------------------------------------------------*/