Java: Adjust comment position and re-autoformat.

aschackmull · aschackmull · commit 236c79b56150 · 2018-10-11T11:31:38.000+02:00
diff --git a/java/ql/src/Likely Bugs/Comparison/UselessComparisonTest.ql b/java/ql/src/Likely Bugs/Comparison/UselessComparisonTest.ql
@@ -203,9 +203,8 @@ where
     else
       if constCondSimple(test, _)
       then (
-        constCondSimple(test, testIsTrue) and reason = "" and reasonElem = test
+        constCondSimple(test, testIsTrue) and reason = "" and reasonElem = test // dummy reason element
       ) else
-        // dummy reason element
         exists(CondReason r |
           constCond(test, testIsTrue, r) and reason = ", because of $@" and reasonElem = r.getCond()
         )
