diff options
Diffstat (limited to 'src/Specific/GF25519Reflective/Reified/Unpack.v')
| -rw-r--r-- | src/Specific/GF25519Reflective/Reified/Unpack.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Specific/GF25519Reflective/Reified/Unpack.v b/src/Specific/GF25519Reflective/Reified/Unpack.v index 027eedf39..a96f87d96 100644 --- a/src/Specific/GF25519Reflective/Reified/Unpack.v +++ b/src/Specific/GF25519Reflective/Reified/Unpack.v @@ -1,4 +1,4 @@ -Require Import Crypto.Specific.GF25519Reflective.Common. +Require Import Crypto.Specific.GF25519Reflective.CommonUnOpWireToFE. Definition runpackZ_sig : rexpr_unop_WireToFE_sig unpack. Proof. reify_sig. Defined. Definition runpackW := Eval vm_compute in rword_of_Z runpackZ_sig. |