Fix #1514 (#1515)

Nemocas · Jul 27, 2023 · 9405a0d · fingolfin · Jul 27, 2023 · thofma
1 parent 011e590
commit 9405a0d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Nemo.jl b/src/Nemo.jl
@@ -107,16 +107,16 @@ 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
 	libcalcium = libflint
 else
   const NEW_FLINT = false
 end
-Libc.dlclose(_ptr)
+Libc.Libdl.dlclose(_ptr)
 using Libdl 
 using Libdl 
 
 ################################################################################
 #