diff --git a/prusti-common/src/vir/optimizations/predicates/delete_unused_predicates.rs b/prusti-common/src/vir/optimizations/predicates/delete_unused_predicates.rs
index 5047df21b33..687eeb4bfaa 100644
--- a/prusti-common/src/vir/optimizations/predicates/delete_unused_predicates.rs
+++ b/prusti-common/src/vir/optimizations/predicates/delete_unused_predicates.rs
@@ -176,9 +176,9 @@ struct UsedPredicateCollector {
 impl UsedPredicateCollector {
     fn new() -> Self {
         UsedPredicateCollector {
-            used_predicates: FxHashSet::new(),
-            folded_predicates: FxHashSet::new(),
-            used_resource_predicates: FxHashSet::new(),
+            used_predicates: FxHashSet::default(),
+            folded_predicates: FxHashSet::default(),
+            used_resource_predicates: FxHashSet::default(),
         }
     }
 }