From 9405a0d16b9845b66cbb05206429f27b6ebc5779 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Thu, 27 Jul 2023 09:31:44 +0200
Subject: [PATCH] Fix #1514 (#1515)

---
 src/Nemo.jl | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Nemo.jl b/src/Nemo.jl
index 995802988..9b06c7755 100644
--- a/src/Nemo.jl
+++ b/src/Nemo.jl
@@ -107,8 +107,8 @@ end
 
 # check whether we are using flint version >= 3.0 (or some recent enough dev version),
 # which changed the layout of some structs
-_ptr = Libc.dlopen(libflint)
-if Libc.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = false) !== nothing
+_ptr = Libc.Libdl.dlopen(libflint)
+if Libc.Libdl.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = false) !== nothing
   const NEW_FLINT = true
 	libantic = libflint
 	libarb = libflint
@@ -116,7 +116,7 @@ if Libc.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = false) !
 else
   const NEW_FLINT = false
 end
-Libc.dlclose(_ptr)
+Libc.Libdl.dlclose(_ptr)
 
 ################################################################################
 #