update year in copyright notice of newer files.

kfriedberger · kfriedberger · commit 13b97a61ffda · 2025-08-02T15:07:52.000+02:00
diff --git a/src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtSolverContext.java b/src/org/sosy_lab/java_smt/solvers/opensmt/OpenSmtSolverContext.java
@@ -2,7 +2,7 @@
 // an API wrapper for a collection of SMT solvers:
 // https://github.com/sosy-lab/java-smt
 //
-// SPDX-FileCopyrightText: 2023 Dirk Beyer <https://www.sosy-lab.org>
+// SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
 //
 // SPDX-License-Identifier: Apache-2.0
 
diff --git a/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/Core.java b/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/Core.java
@@ -3,7 +3,7 @@
  * an API wrapper for a collection of SMT solvers:
  * https://github.com/sosy-lab/java-smt
  *
- * SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+ * SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
  *
  * SPDX-License-Identifier: Apache-2.0
  */
diff --git a/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/LA.java b/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/LA.java
@@ -3,7 +3,7 @@
  * an API wrapper for a collection of SMT solvers:
  * https://github.com/sosy-lab/java-smt
  *
- * SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+ * SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
  *
  * SPDX-License-Identifier: Apache-2.0
  */
diff --git a/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/UF.java b/src/org/sosy_lab/java_smt/solvers/opensmt/interpolationAlgorithms/UF.java
@@ -3,7 +3,7 @@
  * an API wrapper for a collection of SMT solvers:
  * https://github.com/sosy-lab/java-smt
  *
- * SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>
+ * SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>
  *
  * SPDX-License-Identifier: Apache-2.0
  */

Original file line number	Diff line number	Diff line change
`@@ -3,7 +3,7 @@`
`3`	`3`	`* an API wrapper for a collection of SMT solvers:`
`4`	`4`	`* https://github.com/sosy-lab/java-smt`
`5`	`5`	`*`
`6`		`- * SPDX-FileCopyrightText: 2024 Dirk Beyer <https://www.sosy-lab.org>`
	`6`	`+ * SPDX-FileCopyrightText: 2025 Dirk Beyer <https://www.sosy-lab.org>`
`7`	`7`	`*`
`8`	`8`	`* SPDX-License-Identifier: Apache-2.0`
`9`	`9`	`*/`