From 4345ab1b98c21babfd096ab76ffe2be7a4f3c3f3 Mon Sep 17 00:00:00 2001 From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com> Date: Mon, 18 Dec 2023 13:10:28 +0100 Subject: [PATCH] chore: minor nit --- src/rand/rpo.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/src/rand/rpo.rs b/src/rand/rpo.rs index e156b0ec..7ec7e3d1 100644 --- a/src/rand/rpo.rs +++ b/src/rand/rpo.rs @@ -3,6 +3,7 @@ use winter_math::{FieldElement, StarkField}; use super::{Felt, RandFeltsGen, Word, ZERO}; use crate::hash::rpo::{Rpo256, RpoDigest}; +use crate::utils::collections::Vec; use crate::utils::vec; // CONSTANTS