diff options
| author |  Jason Gross <jagro@google.com> | 2016-06-21 17:49:51 -0700 |
|---|---|---|
| committer | Jason Gross <jagro@google.com> | 2016-06-21 17:50:25 -0700 |
| commit | d1f0f0719c9fc44020bb5fe45575a799f29bd578 (patch) | |
| tree | b4684cbb879cab890edcea938e5005b312eadc24 | |
| parent | 058fcebd2ededf7b3ddc803d39ac067032dba7c0 (diff) | |
Whitespace change
| -rw-r--r-- | src/Spec/EdDSA.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Spec/EdDSA.v b/src/Spec/EdDSA.v index 2c7097207..1ed1a8054 100644 --- a/src/Spec/EdDSA.v +++ b/src/Spec/EdDSA.v @@ -79,4 +79,4 @@ Section EdDSA. ValidityRule : forall (message:Word.word n) (A:E) (R:E) (S:nat) S_lt_l, S * B = R + (H (enc R ++ enc A ++ message) mod l) * A -> valid message (enc A) (enc R ++ enc (exist _ S S_lt_l)). -End EdDSA.
\ No newline at end of file +End EdDSA. |