diff options
Diffstat (limited to 'src/Compilers/Named/MapCastInterp.v')
-rw-r--r-- | src/Compilers/Named/MapCastInterp.v | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/src/Compilers/Named/MapCastInterp.v b/src/Compilers/Named/MapCastInterp.v index e6dbb01ed..c38eadd9c 100644 --- a/src/Compilers/Named/MapCastInterp.v +++ b/src/Compilers/Named/MapCastInterp.v @@ -11,7 +11,6 @@ Require Import Crypto.Compilers.Named.ContextProperties.SmartMap. Require Import Crypto.Compilers.Named.InterpSideConditions. Require Import Crypto.Compilers.Named.InterpSideConditionsInterp. Require Import Crypto.Compilers.Named.MapCast. -Require Import Crypto.Util.ZUtil. Require Import Crypto.Util.Bool. Require Import Crypto.Util.Option. Require Import Crypto.Util.Sigma. |