diff --git a/theories/Crypt/Casts.v b/theories/Crypt/Casts.v
index 62df6aaf..eacc6a50 100644
--- a/theories/Crypt/Casts.v
+++ b/theories/Crypt/Casts.v
@@ -1,5 +1,5 @@
 Set Warnings "-ambiguous-paths,-notation-overridden,-notation-incompatible-format".
-From mathcomp Require Import ssreflect ssrbool ssrnat choice fintype eqtype all_algebra.
+From mathcomp Require Import ssreflect ssrfun ssrbool ssrnat choice fintype eqtype all_algebra.
 Set Warnings "ambiguous-paths,notation-overridden,notation-incompatible-format".
 
 Set Warnings "-notation-overridden,-hiding-delimiting-key".