From ad0c578e81cd83647f31a55e29d829123384f195 Mon Sep 17 00:00:00 2001
From: Lenny Truong <lenny.truong@sifive.com>
Date: Fri, 11 Oct 2024 12:05:54 -0700
Subject: [PATCH] Remove redundant CMakeLists.txt entry

---
 lib/Dialect/Verif/Transforms/CMakeLists.txt | 1 -
 1 file changed, 1 deletion(-)

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