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;
-}