From a00a5dcf2f909784b115cbb8e638e380b65165ab Mon Sep 17 00:00:00 2001
From: Bruno Garcia <brunoely.gc@gmail.com>
Date: Tue, 9 Jun 2026 19:58:39 -0300
Subject: [PATCH] operators/bitcoin-core: skip Assert

---
 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 586643d..b9375af 100644
--- a/src/operators/bitcoin_core.rs
+++ b/src/operators/bitcoin_core.rs
@@ -140,6 +140,7 @@ impl OperatorSet for BitcoinCore {
             "#",
             "*",
             "assert",
+            "Assert",
             "self.log",
             "Assume",
             "CHECK_NONFATAL",