sneeuwballen/zipperposition

type inference error on Problems/SEU/SEU916^5.p

c-cube opened this issue · 0 comments

c-cube commented

not sure what it is exactly.