Skip to content

Commit

Permalink
replace DA ledger with Daml ledger in the ledger model (#10491)
Browse files Browse the repository at this point in the history
CHANGELOG_BEGIN
CHANGELOG_END
  • Loading branch information
andreaslochbihler-da authored Aug 5, 2021
1 parent 348c6de commit 73b6596
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions docs/source/concepts/ledger-model/ledger-integrity.rst
Original file line number Diff line number Diff line change
Expand Up @@ -424,7 +424,7 @@ which is a prerequisite for contract formation in contract law. The
contract `c` is effectively an offer by its signatories who act as
offerers. The exercise is an acceptance of the offer by the actors who
are the offerees. The consequences of the exercise can be interpreted
as the contract body so the authorization rules of DA
as the contract body so the authorization rules of Daml
ledgers closely model the rules for contract formation in contract
law.

Expand Down Expand Up @@ -550,7 +550,7 @@ another person's obligations. For example, `A`'s right to accept the
accepts.
In Daml ledgers, a party's rights according to a contract model are the exercise actions the party can perform according to the authorization and conformance rules.

Finally, validity conditions ensure three important properties of the DA
Finally, validity conditions ensure three important properties of the Daml
ledger model, that mimic the contract law.

#. **Obligations need consent**.
Expand Down

0 comments on commit 73b6596

Please sign in to comment.