Remove clion hack

model-checking · Sep 24, 2024 · c208237 · c208237
1 parent df8fc1b
commit c208237
Showing 1 changed file with 0 additions and 7 deletions.
diff --git a/tools/scanner/Cargo.toml b/tools/scanner/Cargo.toml
@@ -18,13 +18,6 @@ strum_macros = "0.26"
 petgraph = "0.6.5"
 graph-cycles = "0.1.0"
 
-# Enable clion code analysis on rustc for kani-compiler
-rustc_smir = { path = "../../../rustc_link/rustc_smir", optional = true }
-stable_mir = { path = "../../../rustc_link/stable_mir", optional = true }
-
-[features]
-clion = ['rustc_smir', 'stable_mir']
-
 [package.metadata.rust-analyzer]
 # This crate uses rustc crates.
 # More info: https://github.com/rust-analyzer/rust-analyzer/pull/7891