fix accidental use of `Iterators.repeat` which doesn't exist (it is actually `Base.repeat`).

ctrekker / Deductive.jl

A package for expressing and automatically proving logical statements symbolically in Julia

MIT License

19 stars 2 forks source link

fix accidental use of `Iterators.repeat` which doesn't exist (it is actually `Base.repeat`). #28

Closed KristofferC closed 2 years ago

KristofferC commented 2 years ago

In Julia 1.9, the Iterators module is a baremodule and you can no longer access Base functions though it. Iterators.repeat was in fact doing the equivalent of Iterators.Base.repeat so we can just drop the Iterators prefix all together.

This fixes the tests in 1.9.

KristofferC commented 2 years ago

Nvm, https://github.com/ctrekker/Deductive.jl/pull/27.