From d267e452a2402bb8449823fdd6536f56993da5ee Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 11 Mar 2026 04:21:30 +0000
Subject: [PATCH] Add Clemens Eisenhofer as co-author to nseq_parith.h and
 nseq_parikh.cpp

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/smt/seq/nseq_parikh.cpp | 1 +
 src/smt/seq/nseq_parith.h   | 1 +
 2 files changed, 2 insertions(+)

diff --git a/src/smt/seq/nseq_parikh.cpp b/src/smt/seq/nseq_parikh.cpp
index 9bc2f4bcd..4ce843052 100644
--- a/src/smt/seq/nseq_parikh.cpp
+++ b/src/smt/seq/nseq_parikh.cpp
@@ -18,6 +18,7 @@ Abstract:
 
 Author:
 
+    Clemens Eisenhofer 2026-03-10
     Nikolaj Bjorner (nbjorner) 2026-03-10
 
 --*/
diff --git a/src/smt/seq/nseq_parith.h b/src/smt/seq/nseq_parith.h
index e7f84e247..719efa5d9 100644
--- a/src/smt/seq/nseq_parith.h
+++ b/src/smt/seq/nseq_parith.h
@@ -35,6 +35,7 @@ Abstract:
 
 Author:
 
+    Clemens Eisenhofer 2026-03-10
     Nikolaj Bjorner (nbjorner) 2026-03-10
 
 --*/