From 9c52876c7c32ee303043311ffc702e66906ef379 Mon Sep 17 00:00:00 2001
From: Yichao Yu <yyc1992@gmail.com>
Date: Tue, 16 Apr 2024 10:44:30 -0400
Subject: [PATCH] Fix support for new flint library version (#1716)

Broken by https://github.com/Nemocas/Nemo.jl/pull/1691
---
 src/Nemo.jl | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/src/Nemo.jl b/src/Nemo.jl
index cbdfddc91..a71a4d3f1 100644
--- a/src/Nemo.jl
+++ b/src/Nemo.jl
@@ -202,9 +202,6 @@ const eigenvalues = eigvals # alternative name for the function from LinearAlgeb
 #
 ###############################################################################
 
-using Arb_jll: libarb
-using Antic_jll: libantic
-using Calcium_jll: libcalcium
 using FLINT_jll: libflint
 
 const pkgdir = realpath(joinpath(dirname(@__DIR__)))
@@ -218,11 +215,14 @@ end
 _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
+  const libantic = libflint
+  const libarb = libflint
+  const libcalcium = libflint
 else
   const NEW_FLINT = false
+  using Arb_jll: libarb
+  using Antic_jll: libantic
+  using Calcium_jll: libcalcium
 end
 Libdl.dlclose(_ptr)