From 51f4f918eabfa87cd302666c7c36c1e1acfaab6e Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Sun, 1 Mar 2026 21:17:08 +0000
Subject: [PATCH] Update file header years from 2025 to 2026

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/euf/euf_sgraph.cpp | 6 +++---
 src/ast/euf/euf_sgraph.h   | 6 +++---
 src/ast/euf/euf_snode.h    | 6 +++---
 3 files changed, 9 insertions(+), 9 deletions(-)

diff --git a/src/ast/euf/euf_sgraph.cpp b/src/ast/euf/euf_sgraph.cpp
index b59f2e5ab..bbed15136 100644
--- a/src/ast/euf/euf_sgraph.cpp
+++ b/src/ast/euf/euf_sgraph.cpp
@@ -1,5 +1,5 @@
 /*++
-Copyright (c) 2025 Microsoft Corporation
+Copyright (c) 2026 Microsoft Corporation
 
 Module Name:
 
@@ -11,8 +11,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2025-03-01
-    Clemens Eisenhofer 2025-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
+    Clemens Eisenhofer 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_sgraph.h b/src/ast/euf/euf_sgraph.h
index 33a2d0b32..3acbaae10 100644
--- a/src/ast/euf/euf_sgraph.h
+++ b/src/ast/euf/euf_sgraph.h
@@ -1,5 +1,5 @@
 /*++
-Copyright (c) 2025 Microsoft Corporation
+Copyright (c) 2026 Microsoft Corporation
 
 Module Name:
 
@@ -60,8 +60,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2025-03-01
-    Clemens Eisenhofer 2025-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
+    Clemens Eisenhofer 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_snode.h b/src/ast/euf/euf_snode.h
index 56c6c2068..40ce8f4f8 100644
--- a/src/ast/euf/euf_snode.h
+++ b/src/ast/euf/euf_snode.h
@@ -1,5 +1,5 @@
 /*++
-Copyright (c) 2025 Microsoft Corporation
+Copyright (c) 2026 Microsoft Corporation
 
 Module Name:
 
@@ -16,8 +16,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2025-03-01
-    Clemens Eisenhofer 2025-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
+    Clemens Eisenhofer 2026-03-01
 
 --*/