diff --git a/solve/src/main/jastadd/queries.jrag b/solve/src/main/jastadd/queries.jrag index 99809e41d4d0b3cfb749d26f63cd230be0ddea4f..8d4ce7af543e5510aeba9e128d43bd1e35ebe6c8 100644 --- a/solve/src/main/jastadd/queries.jrag +++ b/solve/src/main/jastadd/queries.jrag @@ -56,7 +56,6 @@ aspect Queries { } Submission[] elements = new Submission[3]; for (Submission elem : l) { - int score = elem.score(); if (elem.hasBetterScoreThan(elements[2])) { // at least better than #3 if (elem.hasBetterScoreThan(elements[1])) {