Closed mookid closed 5 years ago
The listing reads safe[label(v)] ← uv which should be safe[comp(v)] ← uv.
safe[label(v)] ← uv
safe[comp(v)] ← uv
Already fixed.
The listing reads
safe[label(v)] ← uv
which should besafe[comp(v)] ← uv
.