Java: Adjust comment position and re-autoformat.

This commit is contained in:
Anders Schack-Mulligen
2018-10-11 10:10:34 +02:00
parent c16f0df823
commit 236c79b561

View File

@@ -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()
)