Fix default-features for verusfmt

verus-lang · Dec 2, 2024 · d7fc045 · d7fc045
1 parent 7f0193f
commit d7fc045
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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]