doc: Update docs/usage (#871)

Co-authored-by: github-actions[bot] <github-actions[bot]@users.noreply.github.com>
ASSERT-KTH · Aug 22, 2022 · 52f87b7 · 52f87b7
1 parent 02a1fac
commit 52f87b7
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/docs/usage/repair.adoc b/docs/usage/repair.adoc
@@ -106,6 +106,8 @@ S2116: "hashCode" and "toString" should not be called on array instances
 S2142: "InterruptedException" should not be ignored
 +
 S2164: Math should not be performed on floats
++
+	(incomplete: does not cast the operands to double when the expected type of the result is float.)
 +
 S2167: "compareTo" should not return "Integer.MIN_VALUE"
 +