From 35f6f7f5865d19c4fee26cb1b531d66213dcd632 Mon Sep 17 00:00:00 2001
From: Pialex99 <alexandre.pinazza@epfl.ch>
Date: Fri, 6 Jan 2023 13:27:56 +0100
Subject: [PATCH] Fix rebase

---
 .../optimizations/predicates/delete_unused_predicates.rs    | 6 +++---
 1 file changed, 3 insertions(+), 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
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(),
         }
     }
 }