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) ################################################################################ #