From 05309b19bb0195cd98467cc9d270bdfadf51bf0b Mon Sep 17 00:00:00 2001
From: Al-Kindi-0 <82364884+Al-Kindi-0@users.noreply.github.com>
Date: Thu, 21 Dec 2023 14:26:23 +0100
Subject: [PATCH] chore: export default Winterfell randomcoin

---
 src/rand/mod.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/rand/mod.rs b/src/rand/mod.rs
index 1ad74bf..e20471d 100644
--- a/src/rand/mod.rs
+++ b/src/rand/mod.rs
@@ -1,6 +1,6 @@
 //! Pseudo-random element generation.
 
-pub use winter_crypto::{RandomCoin, RandomCoinError};
+pub use winter_crypto::{DefaultRandomCoin as WinterRandomCoin, RandomCoin, RandomCoinError};
 
 use crate::{Felt, FieldElement, StarkField, Word, ZERO};