diff options
Diffstat (limited to 'src/Arithmetic/Saturated/WrappersUnfolder.v')
| -rw-r--r-- | src/Arithmetic/Saturated/WrappersUnfolder.v | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Arithmetic/Saturated/WrappersUnfolder.v b/src/Arithmetic/Saturated/WrappersUnfolder.v index 20df67b58..52006a702 100644 --- a/src/Arithmetic/Saturated/WrappersUnfolder.v +++ b/src/Arithmetic/Saturated/WrappersUnfolder.v @@ -1,5 +1,6 @@ Require Import Crypto.Arithmetic.CoreUnfolder. Require Import Crypto.Arithmetic.Saturated.CoreUnfolder. +Require Import Crypto.Arithmetic.Saturated.MulSplitUnfolder. Require Import Crypto.Arithmetic.Saturated.Wrappers. Module Columns. |