diff --git a/src/Nemo.jl b/src/Nemo.jl index 9b06c7755..e30a9ddab 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.Libdl.dlopen(libflint) -if Libc.Libdl.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = false) !== nothing +_ptr = Libdl.dlopen(libflint) +if 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.Libdl.dlsym(_ptr, :_fmpz_mod_vec_set_fmpz_vec_threaded; throw_error = fa else const NEW_FLINT = false end -Libc.Libdl.dlclose(_ptr) +Libdl.dlclose(_ptr) ################################################################################ #