# MutantHub mutant #3963: Logical operator mutation at validation.cpp:1135
# Repository: bitcoin/bitcoin @ ddea9196493d3b8fd841a36a6c53efd85dac7a05
# File: src/validation.cpp:1135-1135
# Review: APPROVED; outcome: SURVIVED
--- a/src/validation.cpp
+++ b/src/validation.cpp
@@ -1135,1 +1135,1 @@
-        if (!tx.HasWitness() && SpendsNonAnchorWitnessProg(tx, m_view)) {
+        if (!tx.HasWitness() || SpendsNonAnchorWitnessProg(tx, m_view)) {