From 41dc325e61ab8d4c0491e68e667c35a4e8173ffa Mon Sep 17 00:00:00 2001
From: Arman Aurobindo <66505181+armanthepythonguy@users.noreply.github.com>
Date: Wed, 11 Sep 2024 02:38:10 +0530
Subject: [PATCH] changed to web-time in circuit_builder (#1624)

* changed to web-time in circuit_builder

* Rustfmt

---------

Co-authored-by: Robin Salen <30937548+Nashtare@users.noreply.github.com>
---
 plonky2/src/plonk/circuit_builder.rs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/plonky2/src/plonk/circuit_builder.rs b/plonky2/src/plonk/circuit_builder.rs
index b36a78f0..d0d96f39 100644
--- a/plonky2/src/plonk/circuit_builder.rs
+++ b/plonky2/src/plonk/circuit_builder.rs
@@ -4,11 +4,13 @@
 use alloc::{collections::BTreeMap, sync::Arc, vec, vec::Vec};
 use core::cmp::max;
 #[cfg(feature = "std")]
-use std::{collections::BTreeMap, sync::Arc, time::Instant};
+use std::{collections::BTreeMap, sync::Arc};
 
 use hashbrown::{HashMap, HashSet};
 use itertools::Itertools;
 use log::{debug, info, warn, Level};
+#[cfg(feature = "timing")]
+use web_time::Instant;
 
 use crate::field::cosets::get_unique_coset_shifts;
 use crate::field::extension::{Extendable, FieldExtension};