Remove redundant CMakeLists.txt entry (#7696)

llvm · Oct 14, 2024 · dce37cc · dce37cc
1 parent 629abef
commit dce37cc
Showing 1 changed file with 0 additions and 1 deletion.
diff --git 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