diff --git a/spec/withdraw.bear.yaml b/spec/withdraw.bear.yaml index 7efc595..314507b 100644 --- a/spec/withdraw.bear.yaml +++ b/spec/withdraw.bear.yaml @@ -31,6 +31,3 @@ block: port: idempotency getOp: get putOp: put - invariants: - - kind: non_negative - field: balance \ No newline at end of file