diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-10-29 22:27:02 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-10-29 22:27:02 -0400 |
| commit | 25376f3f54e289a16e21959f7e7a656d52ed4aa5 (patch) | |
| tree | a1e64ea68ed08fe68bd018d57b272e2f3f4d29f8 /src/Assembly/GF25519.v | |
| parent | 75254e2b4c989d29eaaa0b48d616f87697494af2 (diff) | |
Disable extraction in src/Assembly/GF25519.v
Hopefully this makes the 8.4 build complete in reasonable time again...
Diffstat (limited to 'src/Assembly/GF25519.v')
| -rw-r--r-- | src/Assembly/GF25519.v | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Assembly/GF25519.v b/src/Assembly/GF25519.v index 3f3c34b71..e1ecfdce0 100644 --- a/src/Assembly/GF25519.v +++ b/src/Assembly/GF25519.v @@ -303,8 +303,9 @@ Module GF25519. Definition opp := Eval simpl in proj1_sig opp'. End Instantiation. End GF25519. - +(* Extraction "GF25519Add" GF25519.Add. Extraction "GF25519Sub" GF25519.Sub. Extraction "GF25519Mul" GF25519.Mul. Extraction "GF25519Opp" GF25519.Opp. +*) |