From 7255c73d29279c07ee440c0661329c5aba1e1cd8 Mon Sep 17 00:00:00 2001
From: Britt Cyr <cyrbritt@gmail.com>
Date: Fri, 6 Dec 2024 21:42:03 -0500
Subject: [PATCH] Bring back a formal verification rule for cancel (#314)

* Bring back some rules

* Remove swap
---
 programs/manifest/rules.json | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/programs/manifest/rules.json b/programs/manifest/rules.json
index 8e19c5947..41b74b3bd 100644
--- a/programs/manifest/rules.json
+++ b/programs/manifest/rules.json
@@ -72,6 +72,12 @@
       "prover_options": [],
       "cargo_features": []
     },
+    {
+      "name": "rule_cancel_order_bid",
+      "expected_result": "Verified",
+      "prover_options": [],
+      "cargo_features": []
+    },
     {
       "name": "rule_cancel_order_ask",
       "expected_result": "Verified",