Remove polysubst.jl as this is now covered by AA

Nemocas · Oct 30, 2024 · dddfc00 · dddfc00
1 parent 7e5c4d8
commit dddfc00
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 37 deletions.
diff --git a/src/Rings.jl b/src/Rings.jl
@@ -122,5 +122,3 @@ include("arb/ComplexMat.jl")
 include("gaussiannumbers/ZZi.jl")
 
 include("Factor.jl")
-
-include("polysubst.jl")
diff --git a/src/polysubst.jl b/src/polysubst.jl