make 2026

tannerduve · tannerduve · commit cf5fa0425836 · 2026-03-13T10:14:39.000-07:00
Co-authored-by: aleph-prover-dev[bot] &lt;aleph-prover-dev[bot]@users.noreply.github.com&gt;
diff --git a/Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Completeness.lean b/Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Completeness.lean
@@ -1,5 +1,5 @@
 /-
-Copyright (c) 2025 Tanner Duve. All rights reserved.
+Copyright (c) 2026 Tanner Duve. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Tanner Duve, Bhavik Mehta, Aleph Prover
 -/
diff --git a/Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Soundness.lean b/Cslib/Logics/LinearLogic/CLL/PhaseSemantics/Soundness.lean
@@ -1,5 +1,5 @@
 /-
-Copyright (c) 2025 Tanner Duve. All rights reserved.
+Copyright (c) 2026 Tanner Duve. All rights reserved.
 Released under Apache 2.0 license as described in the file LICENSE.
 Authors: Tanner Duve, Bhavik Mehta, Aleph Prover
 -/
