Clean up #1515

Nemocas · Jul 27, 2023 · bb289cc · bb289cc
1 parent 9405a0d
commit bb289cc
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.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
 	libcalcium = libflint
 else
   const NEW_FLINT = false
 end
-Libc.Libdl.dlclose(_ptr)
+Libdl.dlclose(_ptr)
 
 ################################################################################
 #