Forked from
RT-PROOFS / PROSA - Formally Proven Schedulability Analysis
Source project has a limited visibility.
-
Björn Brandenburg authoredAs Pierre pointed out in [MR187](RT-PROOFS/rt-proofs!187), we don't want updates in any of our dependencies to accidentally shadow Prosa symbols. Hence, always import Prosa modules last to make sure Prosa symbols "win" any name clashes.
Björn Brandenburg authoredAs Pierre pointed out in [MR187](RT-PROOFS/rt-proofs!187), we don't want updates in any of our dependencies to accidentally shadow Prosa symbols. Hence, always import Prosa modules last to make sure Prosa symbols "win" any name clashes.