Skip to content

Commit

Permalink
lang-spec fix BigInt
Browse files Browse the repository at this point in the history
  • Loading branch information
glasgowm148 committed May 4, 2024
1 parent e6adb76 commit b703480
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion docs/dev/scs/sigma/lang-spec.md
Original file line number Diff line number Diff line change
Expand Up @@ -913,7 +913,7 @@ def proveDHTuple(g: GroupElement, h: GroupElement,
*/
def proveDlog(value: GroupElement): SigmaProp

/** Transforms Base16 encoded string literal into constant of type Coll[Byte].
/** Transforms Base16 encoded string literal into constant of type BigInt.
* It is a compile-time operation and only string literal (constant) can be its
* argument.
*/
Expand Down

0 comments on commit b703480

Please sign in to comment.