Fix rebase

viperproject · Jan 6, 2023 · 35f6f7f · 35f6f7f
1 parent d9b94e0
commit 35f6f7f
Showing 1 changed file with 3 additions and 3 deletions.
diff --git 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(),
         }
     }
 }