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