From 5cde844af9f31cac175eab406ef92da55c07954a Mon Sep 17 00:00:00 2001
From: rschoene <rene.schoene@tu-dresden.de>
Date: Tue, 7 Aug 2018 18:58:03 +0200
Subject: [PATCH] Remove unused variable in query.
---
solve/src/main/jastadd/queries.jrag | 1 -
1 file changed, 1 deletion(-)
diff --git a/solve/src/main/jastadd/queries.jrag b/solve/src/main/jastadd/queries.jrag
index 99809e4..8d4ce7a 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])) {
--
GitLab