From 3515fbddac772bc7bf63933a7c0f22774c19d219 Mon Sep 17 00:00:00 2001
From: Daniel Lubarov <daniel@lubarov.com>
Date: Tue, 29 Nov 2022 12:39:41 -0800
Subject: [PATCH] fix

---
 plonky2/src/recursion/conditional_recursive_verifier.rs | 3 ++-
 plonky2/src/recursion/cyclic_recursion.rs               | 1 -
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/plonky2/src/recursion/conditional_recursive_verifier.rs b/plonky2/src/recursion/conditional_recursive_verifier.rs
index e7b727b5..565ae94d 100644
--- a/plonky2/src/recursion/conditional_recursive_verifier.rs
+++ b/plonky2/src/recursion/conditional_recursive_verifier.rs
@@ -317,6 +317,7 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
 #[cfg(test)]
 mod tests {
     use anyhow::Result;
+    use hashbrown::HashMap;
 
     use super::*;
     use crate::field::types::Sample;
@@ -350,7 +351,7 @@ mod tests {
 
         // Generate dummy proof with the same `CommonCircuitData`.
         let dummy_data = dummy_circuit(&data.common);
-        let dummy_proof = dummy_proof(&dummy_data, &[])?;
+        let dummy_proof = dummy_proof(&dummy_data, HashMap::new())?;
 
         // Conditionally verify the two proofs.
         let mut builder = CircuitBuilder::<F, D>::new(config);
diff --git a/plonky2/src/recursion/cyclic_recursion.rs b/plonky2/src/recursion/cyclic_recursion.rs
index d2c997b3..cc5728b9 100644
--- a/plonky2/src/recursion/cyclic_recursion.rs
+++ b/plonky2/src/recursion/cyclic_recursion.rs
@@ -273,7 +273,6 @@ where
 mod tests {
     use anyhow::Result;
     use hashbrown::HashMap;
-    use itertools::Itertools;
 
     use crate::field::extension::Extendable;
     use crate::field::types::{Field, PrimeField64};