From 3612c507856bc2752fccd4ead3e32cf86e6039c3 Mon Sep 17 00:00:00 2001
From: Bruno Garcia <brunoely.gc@gmail.com>
Date: Fri, 12 Jun 2026 16:16:06 -0300
Subject: [PATCH] operators: do not mutate LOCK for Core

---
 src/operators/bitcoin_core.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/operators/bitcoin_core.rs b/src/operators/bitcoin_core.rs
index b9375af..efb63d7 100644
--- a/src/operators/bitcoin_core.rs
+++ b/src/operators/bitcoin_core.rs
@@ -141,6 +141,7 @@ impl OperatorSet for BitcoinCore {
             "*",
             "assert",
             "Assert",
+            "LOCK",
             "self.log",
             "Assume",
             "CHECK_NONFATAL",