radsz/jacop

Missing line return in AmongVar.toString()

Closed this issue · 1 comments

There is a minor issue in AmongVar.toString(), which is missing a line return before printing the first X variable:

StringBuffer result = new StringBuffer(id());

should be replaced with

StringBuffer result = new StringBuffer(id()).append("\n");
krzku commented

Fixed.