taler-docs

commit 02d4732cb9e53ac3094cd5a1ded1c932ce3964e9
parent b083097892e77f16c0a0e6e632acdf9d21884d61
Author: Özgür Kesim <oec-taler@kesim.org>
Date:   Tue, 11 Oct 2022 15:57:52 +0200

-typos

Diffstat:
M
design-documents/028-deposit-policies.rst
 | 
4
++--

1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/design-documents/028-deposit-policies.rst b/design-documents/028-deposit-policies.rst
@@ -148,11 +148,11 @@ Invariants
 The following invariants need to be fulfilled and be checked by the auditor:
 
 - The fulfillment state of a policy is **Insufficient** IF AND ONLY IF the
-  amount in ``policy_details.commitment`` is larger than the amount in
+  amount in ``policy_details.commitment`` is equal or larger than the amount in
   ``policy_details.accumulated_total``.
 
 - The sum of amounts in ``policy_details.fee`` and
-  ``policy_details.transferable`` MUST be less or equal to the amount in
+  ``policy_details.transferable`` MUST be equal or less than the amount in
   ``policy_details.accumulated_total``.
 
 - The amount in ``policy_details.accumulated_total`` MUST be equal to the total