# MutantHub mutant #1819: Arithmetic operator mutation at interpreter.cpp:1991
# Repository: bitcoin/bitcoin @ 05e49b342faa1412266951429c135e9f5daa30c2
# File: src/script/interpreter.cpp:1991-1991
# Review: APPROVED; outcome: KILLED
--- a/src/script/interpreter.cpp
+++ b/src/script/interpreter.cpp
@@ -1991,1 +1991,1 @@
-                execdata.m_validation_weight_left = ::GetSerializeSize(witness.stack) + VALIDATION_WEIGHT_OFFSET;
+                execdata.m_validation_weight_left = ::GetSerializeSize(witness.stack) / VALIDATION_WEIGHT_OFFSET;