From d3019ea7a055649468afa93db0cbca15fad5d944 Mon Sep 17 00:00:00 2001
From: Lucian Popescu <lucian.popescu@tecnico.ulisboa.pt>
Date: Wed, 13 May 2026 20:25:17 +0100
Subject: [PATCH] Delete stale ir_src.json

---
 CMakeLists.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 49e48ac0..8abed759 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -193,6 +193,7 @@ add_custom_target("preprocess-rust-rules" ALL
 add_custom_target("check-rules"
                   COMMAND find ${PROJECT_SOURCE_DIR}/rules -name "ir_unsafe.json" -delete
                   COMMAND find ${PROJECT_SOURCE_DIR}/rules -name "ir_refcount.json" -delete
+                  COMMAND find ${PROJECT_SOURCE_DIR}/rules -name "ir_src.json" -delete
                   COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target preprocess-cpp-rules
                   COMMAND ${CMAKE_COMMAND} --build ${CMAKE_BINARY_DIR} --target preprocess-rust-rules
                   COMMAND ${CMAKE_COMMAND} -E chdir ${PROJECT_SOURCE_DIR}