From cf43c0f725e7c6c135690c4f8d5a59fa580be89c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Agust=C3=ADn=20Borgna?=
 <121866228+aborgna-q@users.noreply.github.com>
Date: Fri, 15 Dec 2023 17:43:35 +0100
Subject: [PATCH] chore: Ignore unused warnings (#274)

I'm not sure why CI didn't catch these
---
 tket2/src/optimiser/badger/hugr_pqueue.rs | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/tket2/src/optimiser/badger/hugr_pqueue.rs b/tket2/src/optimiser/badger/hugr_pqueue.rs
index 9b33113a..16569ef6 100644
--- a/tket2/src/optimiser/badger/hugr_pqueue.rs
+++ b/tket2/src/optimiser/badger/hugr_pqueue.rs
@@ -49,6 +49,7 @@ impl<P: Ord, C> HugrPQ<P, C> {
     /// Push a Hugr into the queue.
     ///
     /// If the queue is full, the element with the highest cost will be dropped.
+    #[allow(unused)]
     pub fn push(&mut self, hugr: Hugr)
     where
         C: Fn(&Hugr) -> P,
@@ -97,6 +98,7 @@ impl<P: Ord, C> HugrPQ<P, C> {
     /// Discard the largest elements of the queue.
     ///
     /// Only keep up to `max_size` elements.
+    #[allow(unused)]
     pub fn truncate(&mut self, max_size: usize) {
         while self.queue.len() > max_size {
             let (hash, _) = self.queue.pop_max().unwrap();