chore(tests): kill commented code

cryspen · Apr 24, 2024 · 20d3da5 · 20d3da5
1 parent 1cad3a2
commit 20d3da5
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/tests/attributes/Cargo.toml b/tests/attributes/Cargo.toml
@@ -4,7 +4,6 @@ version = "0.1.0"
 edition = "2021"
 
 [dependencies]
-# hax-lib-macros = { path = "../../hax-lib-macros" }
 hax-lib = { path = "../../hax-lib" }
 serde = { version = "1.0", features = ["derive"] }