From 2f8baa04d7015892eebb8b4991071e38f925cca8 Mon Sep 17 00:00:00 2001
From: konstin <konstin@mailbox.org>
Date: Fri, 22 Mar 2024 11:08:27 +0100
Subject: [PATCH] chore: update priority queue

I've been looking at duplicate dependencies in our tree and priority-queue 1 was pulling in old versions of indexmap and hashbrown, so i've updated all dependencies.
---
 Cargo.toml | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/Cargo.toml b/Cargo.toml
index adb78eb7..3c5a1d72 100644
--- a/Cargo.toml
+++ b/Cargo.toml
@@ -21,18 +21,18 @@ include = ["Cargo.toml", "LICENSE", "README.md", "src/**", "tests/**", "examples
 
 [dependencies]
 indexmap = "2.0.2"
-priority-queue = "1.1.1"
+priority-queue = "2.0.2"
 thiserror = "1.0"
 rustc-hash = "1.1.0"
 serde = { version = "1.0", features = ["derive"], optional = true }
 log = "0.4.14" # for debug logs in tests
 
 [dev-dependencies]
-proptest = "0.10.1"
-ron = "0.6"
+proptest = "1.4.0"
+ron = "0.8.1"
 varisat = "0.2.2"
 criterion = "0.5"
-env_logger = "0.9.0"
+env_logger = "0.11.3"
 
 [[bench]]
 name = "large_case"