commit | a8dc89657c8955c25d8ae6ecf212fa6c4255ca36 | [log] [tgz] |
---|---|---|
author | Ed Willink <ed@willink.me.uk> | Wed Feb 19 09:46:43 2020 +0000 |
committer | Ed Willink <ed@willink.me.uk> | Tue Feb 25 12:29:42 2020 +0000 |
tree | f52a156eaab263027dbff2e283f4f111c7198bec | |
parent | c45281be54b51f74cf58d43a73c2cf1ce649bb34 [diff] |
[513375] Avoid init predicates on corollaries