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",