Closed bestchai closed 4 years ago
The invariants tab is displaying the incorrect arrows for some of the invariants sections. It should be as follows:
Always followed by: → Always precedes: ← Never followed by: ↛
[Issue created by stanleyrya: 2015-10-27]
[Comment created by stanleyrya: 2015-10-27] Fix in f8effd52cb0b
[Comment created by ohmann: 2015-10-27] Merged in: 089e9d050ea7
The invariants tab is displaying the incorrect arrows for some of the invariants sections. It should be as follows:
Always followed by: →
Always precedes: ←
Never followed by: ↛
[Issue created by stanleyrya: 2015-10-27]
[Comment created by stanleyrya: 2015-10-27] Fix in f8effd52cb0b
[Comment created by ohmann: 2015-10-27] Merged in: 089e9d050ea7