tree f52a156eaab263027dbff2e283f4f111c7198bec
parent c45281be54b51f74cf58d43a73c2cf1ce649bb34
author Ed Willink <ed@willink.me.uk> 1582105603 +0000
committer Ed Willink <ed@willink.me.uk> 1582633782 +0000

[513375] Avoid init predicates on corollaries