From 2f8cc1536cedf9adf1548f027a69904a0c3a9706 Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Tue, 10 Mar 2026 16:27:26 +0000
Subject: [PATCH] Swap author order: Clemens Eisenhofer before Nikolaj Bjorner
 in file headers

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/ast/euf/euf_seq_plugin.cpp | 2 +-
 src/ast/euf/euf_seq_plugin.h   | 2 +-
 src/ast/euf/euf_sgraph.cpp     | 2 +-
 src/ast/euf/euf_sgraph.h       | 2 +-
 src/ast/euf/euf_snode.h        | 2 +-
 src/smt/seq/seq_nielsen.cpp    | 2 +-
 src/smt/seq/seq_nielsen.h      | 2 +-
 7 files changed, 7 insertions(+), 7 deletions(-)

diff --git a/src/ast/euf/euf_seq_plugin.cpp b/src/ast/euf/euf_seq_plugin.cpp
index 0a025c5c7..ab20120df 100644
--- a/src/ast/euf/euf_seq_plugin.cpp
+++ b/src/ast/euf/euf_seq_plugin.cpp
@@ -15,8 +15,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-01
     Clemens Eisenhofer 2026-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_seq_plugin.h b/src/ast/euf/euf_seq_plugin.h
index 8f72a6837..1bbb58630 100644
--- a/src/ast/euf/euf_seq_plugin.h
+++ b/src/ast/euf/euf_seq_plugin.h
@@ -32,8 +32,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-01
     Clemens Eisenhofer 2026-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_sgraph.cpp b/src/ast/euf/euf_sgraph.cpp
index d12e16d7c..6e8827a79 100644
--- a/src/ast/euf/euf_sgraph.cpp
+++ b/src/ast/euf/euf_sgraph.cpp
@@ -11,8 +11,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-01
     Clemens Eisenhofer 2026-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_sgraph.h b/src/ast/euf/euf_sgraph.h
index 89a1c0eee..545f21c38 100644
--- a/src/ast/euf/euf_sgraph.h
+++ b/src/ast/euf/euf_sgraph.h
@@ -49,8 +49,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-01
     Clemens Eisenhofer 2026-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
 
 --*/
 
diff --git a/src/ast/euf/euf_snode.h b/src/ast/euf/euf_snode.h
index e54d276f6..95bf1f64e 100644
--- a/src/ast/euf/euf_snode.h
+++ b/src/ast/euf/euf_snode.h
@@ -16,8 +16,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-01
     Clemens Eisenhofer 2026-03-01
+    Nikolaj Bjorner (nbjorner) 2026-03-01
 
 --*/
 
diff --git a/src/smt/seq/seq_nielsen.cpp b/src/smt/seq/seq_nielsen.cpp
index cb5e6aa56..85bf09f08 100644
--- a/src/smt/seq/seq_nielsen.cpp
+++ b/src/smt/seq/seq_nielsen.cpp
@@ -14,8 +14,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-02
     Clemens Eisenhofer 2026-03-02
+    Nikolaj Bjorner (nbjorner) 2026-03-02
 
 --*/
 
diff --git a/src/smt/seq/seq_nielsen.h b/src/smt/seq/seq_nielsen.h
index 5b7ac2b21..47e74bdc7 100644
--- a/src/smt/seq/seq_nielsen.h
+++ b/src/smt/seq/seq_nielsen.h
@@ -223,8 +223,8 @@ Abstract:
 
 Author:
 
-    Nikolaj Bjorner (nbjorner) 2026-03-02
     Clemens Eisenhofer 2026-03-02
+    Nikolaj Bjorner (nbjorner) 2026-03-02
 
 --*/