Revert "tests/specs/mcd/mcd-spec.k: add master list of spces"

This reverts commit 6431a3a.
runtimeverification · Jun 6, 2024 · a23522c · a23522c
1 parent c7f332f
commit a23522c
Showing 1 changed file with 0 additions and 44 deletions.
diff --git a/tests/specs/mcd/mcd-spec.k b/tests/specs/mcd/mcd-spec.k