diff --git a/lib/Dialect/Verif/Transforms/CMakeLists.txt b/lib/Dialect/Verif/Transforms/CMakeLists.txt
index b4aad4e7c5a6..fb076ff1c817 100644
--- a/lib/Dialect/Verif/Transforms/CMakeLists.txt
+++ b/lib/Dialect/Verif/Transforms/CMakeLists.txt
@@ -1,5 +1,4 @@
 add_circt_dialect_library(CIRCTVerifTransforms
-PrepareForFormal.cpp
   VerifyClockedAssertLike.cpp
   PrepareForFormal.cpp