Skip to content

Commit

Permalink
tuned; renamed definition header from commitment -> signed commitment
Browse files Browse the repository at this point in the history
  • Loading branch information
bhargavbh committed Oct 10, 2023
1 parent 6b3a60b commit 2e475ac
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/sect-finality.md
Original file line number Diff line number Diff line change
Expand Up @@ -612,7 +612,7 @@ Here are the basic operations we should be able to perform on the MMR:
:::


###### Definition -def-num- Commitment {#defn-beefy-Commitment}
###### Definition -def-num- Signed Commitment {#defn-beefy-Commitment}
:::definition

**Signed Commitment:**
Expand Down

0 comments on commit 2e475ac

Please sign in to comment.