use git version of sledgehammer

This commit is contained in:
Jonathan Kelley committed 2024-03-05 15:14:07 -08:00
1 parent 624e58bd78
commit 39d6580eca
2 files changed
+3 -2

No files matched your search

+1 -2
View File
@@ -17,8 +17,7 @@ web-sys = { version = "0.3.56", optional = true, features = [
"Element",
"Node",
] }
sledgehammer_bindgen = { path = "../../../Tinkering/sledgehammer_bindgen", default-features = false, optional = true }
# sledgehammer_bindgen = { git = "https://github.com/ealmloff/sledgehammer_bindgen", default-features = false, optional = true }
sledgehammer_bindgen = { git = "https://github.com/ealmloff/sledgehammer_bindgen", default-features = false, optional = true }
sledgehammer_utils = { version = "0.2", optional = true }
serde = { version = "1.0", features = ["derive"], optional = true }