From ced5c27193b297175c0cf40d6ed2199b658ff5f8 Mon Sep 17 00:00:00 2001
From: Valentin Churavy <v.churavy@gmail.com>
Date: Fri, 20 Oct 2023 12:10:30 -0400
Subject: [PATCH] use Random explicitly

---
 src/precompile.jl | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/precompile.jl b/src/precompile.jl
index c48576aa..d945baf2 100644
--- a/src/precompile.jl
+++ b/src/precompile.jl
@@ -1,3 +1,5 @@
+using Random
+
 function _precompile_()
     ccall(:jl_generating_output, Cint, ()) == 1 || return nothing
     normedtypes = (N0f8, N0f16)                      # precompiled Normed types