mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-04 06:16:09 +00:00
Code Activity

Remove nseq_parith.h and nseq_parikh.cpp backwards-compat shims

Browse source 
Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>
This commit is contained in:
copilot-swe-agent[bot] 2026-03-11 15:48:05 +00:00
parent 213ddd36ba
commit 45a574d7fa
2 changed files with 0 additions and 35 deletions
Download patch file Download diff file Expand all files Collapse all files

15
src/smt/seq/nseq_parikh.cpp
View file

@ -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

20
src/smt/seq/nseq_parith.h
View file

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