From 988db7070731cf95e10d9bca250e357a7a3ea9c9 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Sat, 27 Apr 2024 16:19:33 +0200
Subject: [PATCH] feat: bump to flint3

---
 src/LibSingular.jl               | 2 +-
 src/Singular.jl                  | 1 -
 src/libsingular/antic/nf_elem.jl | 2 +-
 3 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/src/LibSingular.jl b/src/LibSingular.jl
index 38f2f2432..db4877268 100644
--- a/src/LibSingular.jl
+++ b/src/LibSingular.jl
@@ -2,7 +2,7 @@ module libSingular
 
 using CxxWrap
 
-import ..Singular: libflint, libantic, libsingular_julia, AbstractAlgebra
+import ..Singular: libflint, libsingular_julia, AbstractAlgebra
 
 @wrapmodule(libsingular_julia)
 
diff --git a/src/Singular.jl b/src/Singular.jl
index b53ee52c0..b977a7efb 100644
--- a/src/Singular.jl
+++ b/src/Singular.jl
@@ -86,7 +86,6 @@ const _libsingular_julia = Ref(Setup.locate_libsingular())
 libsingular_julia() = _libsingular_julia[]
 
 const libflint = Nemo.libflint
-const libantic = Nemo.libantic
 
 const mapping_types_reversed = Dict{Symbol, Int64}()
 
diff --git a/src/libsingular/antic/nf_elem.jl b/src/libsingular/antic/nf_elem.jl
index 522f30c4b..3d513891e 100644
--- a/src/libsingular/antic/nf_elem.jl
+++ b/src/libsingular/antic/nf_elem.jl
@@ -58,7 +58,7 @@ end
 
 function nf_elemInpNeg(a::Ptr{Cvoid}, cf::Ptr{Cvoid})
    cf_ptr = get_coeff_data_void(cf)
-   ccall((:nf_elem_neg, libantic), Cvoid,
+   ccall((:nf_elem_neg, libflint), Cvoid,
 	 (Ptr{Nemo.AbsSimpleNumFieldElem}, Ptr{Nemo.AbsSimpleNumFieldElem}, Ptr{Nemo.AbsSimpleNumField}),
 	   a, a, cf_ptr)
    return a