diff --git a/proofs/fstar/extraction-edited/Makefile b/proofs/fstar/extraction-edited/Makefile
index 54eec389..3d3cdaaa 100644
--- a/proofs/fstar/extraction-edited/Makefile
+++ b/proofs/fstar/extraction-edited/Makefile
@@ -80,10 +80,7 @@ VERIFIED = \
 	Libcrux.Kem.Kyber.Ntt.fsti \
 	Libcrux.Kem.Kyber.Ntt.fst \
 	Libcrux.Kem.Kyber.Sampling.fst \
-	Libcrux.Kem.Kyber.Serialize.PartA.fsti \
-	Libcrux.Kem.Kyber.Serialize.PartA.fst \
-	Libcrux.Kem.Kyber.Serialize.PartB.fsti \
-	Libcrux.Kem.Kyber.Serialize.PartB.fst \
+	Libcrux.Kem.Kyber.Serialize.fsti \
 	Libcrux.Kem.Kyber.Serialize.fst
 
 UNVERIFIED =