diff --git a/proof/tests.config b/proof/tests.config
index 4f5ce31b..bf022139 100644
--- a/proof/tests.config
+++ b/proof/tests.config
@@ -3,5 +3,4 @@ bin  = easycrypt
 args = -timeout 30 -max-provers 2 -p Z3 -p Alt-Ergo
 
 [test-all]
-okdirs = !common !crypto_hash !crypto_onetimeauth !crypto_stream !crypto_verify !crypto_xof
-exclude = crypto_kem
+okdirs = !common !crypto_hash !crypto_kem !crypto_onetimeauth !crypto_stream !crypto_verify !crypto_xof