From b7e1a4f4b058b0c1b98c5e8729aa6bf3b8862246 Mon Sep 17 00:00:00 2001
From: David Feuer <David.Feuer@gmail.com>
Date: Tue, 25 Apr 2023 14:04:50 -0400
Subject: [PATCH] Remove pqueue dependency

No modules are imported from `pqueue` anymore. Remove the
dependency.
---
 uhc-util.cabal | 1 -
 1 file changed, 1 deletion(-)

diff --git a/uhc-util.cabal b/uhc-util.cabal
index c7edc15..d21fc73 100644
--- a/uhc-util.cabal
+++ b/uhc-util.cabal
@@ -37,7 +37,6 @@ library
     time >= 1.2,
     fclabels >= 2.0.3,
     logict-state >= 0.1.0.2,
-    pqueue >= 1.3.1,
     vector >= 0.11,
     chr-pretty >= 0.1.0.0,
     chr-parse >= 0.1.0.0,