Avoid use of deprecated aliases

[fingolfin]

No description provided.

[codecov]

Codecov Report

Attention: 42 lines in your changes are missing coverage. Please review.

Comparison is base (09d1a2f) 74.63% compared to head (e615a59) 74.62%.
Report is 1 commits behind head on master.

❗ Current head e615a59 differs from pull request most recent head 0839c17. Consider uploading reports for the commit 0839c17 to get more accurate results

Additional details and impacted files

@@            Coverage Diff             @@
##           master    #1251      +/-   ##
==========================================
- Coverage   74.63%   74.62%   -0.02%     
==========================================
  Files         346      346              
  Lines      110993   110994       +1     
==========================================
- Hits        82844    82828      -16     
- Misses      28149    28166      +17     

Files	Coverage Δ
src/AlgAss/AlgAss.jl	87.24% <100.00%> (ø)
src/AlgAss/Elem.jl	89.89% <ø> (ø)
src/EllCrv/EllCrv.jl	95.57% <100.00%> (ø)
src/EllCrv/Finite.jl	94.44% <100.00%> (ø)
src/EllCrv/Heights.jl	92.43% <100.00%> (ø)
src/EllCrv/Isogeny.jl	90.68% <100.00%> (ø)
src/EllCrv/Isomorphisms.jl	90.85% <100.00%> (ø)
src/FunField/Factor.jl	43.79% <100.00%> (ø)
src/GenOrd/Types.jl	88.78% <100.00%> (ø)
src/HypellCrv/HypellCrv.jl	82.70% <100.00%> (ø)
... and 42 more

... and 26 files with indirect coverage changes

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.