From 45a574d7fad82d6b92ae17c2e431b45866cf8bfa Mon Sep 17 00:00:00 2001
From: "copilot-swe-agent[bot]" <198982749+Copilot@users.noreply.github.com>
Date: Wed, 11 Mar 2026 15:48:05 +0000
Subject: [PATCH] Remove nseq_parith.h and nseq_parikh.cpp backwards-compat
 shims

Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
---
 src/smt/seq/nseq_parikh.cpp | 15 ---------------
 src/smt/seq/nseq_parith.h   | 20 --------------------
 2 files changed, 35 deletions(-)
 delete mode 100644 src/smt/seq/nseq_parikh.cpp
 delete mode 100644 src/smt/seq/nseq_parith.h

diff --git a/src/smt/seq/nseq_parikh.cpp b/src/smt/seq/nseq_parikh.cpp
deleted file mode 100644
index 56f2bb344..000000000
--- a/src/smt/seq/nseq_parikh.cpp
+++ /dev/null
@@ -1,15 +0,0 @@
-/*++
-Copyright (c) 2026 Microsoft Corporation
-
-Module Name:
-
-    nseq_parikh.cpp
-
-Note:
-
-    This file is retained for backwards compatibility.
-    The canonical implementation is now smt/seq/seq_parikh.cpp.
-
---*/
-// intentionally empty — see seq_parikh.cpp
-
diff --git a/src/smt/seq/nseq_parith.h b/src/smt/seq/nseq_parith.h
deleted file mode 100644
index 182f54a55..000000000
--- a/src/smt/seq/nseq_parith.h
+++ /dev/null
@@ -1,20 +0,0 @@
-/*++
-Copyright (c) 2026 Microsoft Corporation
-
-Module Name:
-
-    nseq_parith.h
-
-Note:
-
-    This file is retained for backwards compatibility.
-    The canonical header is now smt/seq/seq_parikh.h.
-
---*/
-#pragma once
-#include "smt/seq/seq_parikh.h"
-
-namespace seq {
-    // backwards-compat alias
-    using nseq_parith = seq_parikh;
-}