Precompilation (or maybe also running the tests) gives
WARNING: using TaylorSeries.update! in module ReachSets conflicts with an existing identifier.
The conflict is with ProgressMeter.update!, but we even import this method because we override it.
As far as I know, the only solution is to do import X followed by a list of using X: ... with all the symbols that we need, where X is one of the packages that export update!.
Precompilation (or maybe also running the tests) gives
The conflict is with
ProgressMeter.update!
, but we evenimport
this method because we override it.As far as I know, the only solution is to do
import X
followed by a list ofusing X: ...
with all the symbols that we need, whereX
is one of the packages that exportupdate!
.