From d7fc0457a68bf834559e18844571eaa55c203702 Mon Sep 17 00:00:00 2001 From: Bryan Parno Date: Mon, 2 Dec 2024 16:45:57 -0500 Subject: [PATCH] Fix default-features for verusfmt --- crates/ide-assists/Cargo.toml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/crates/ide-assists/Cargo.toml b/crates/ide-assists/Cargo.toml index 7652b20d42a3..b8d2712d9bc4 100644 --- a/crates/ide-assists/Cargo.toml +++ b/crates/ide-assists/Cargo.toml @@ -26,7 +26,7 @@ text-edit.workspace = true ide-db.workspace = true hir.workspace = true -verusfmt = "0.4.0" +verusfmt = { version = "0.4.0", default-features = false } tempfile = "3.10.1" #[dev-dependencies]