Remove deprecated; plus aesthetic fix

This commit is contained in:
Slavomir
2020-07-01 12:11:41 +03:00
parent 37af579f27
commit 87c2ac3caf
2 changed files with 1 additions and 2 deletions

View File

@@ -43,4 +43,4 @@
<a href="https://dev.to/jlauinger/exploitation-exercise-with-unsafe-pointer-in-go-information-leak-part-1-1kga">Exploitation Exercise with unsafe.Pointer in Go: Information Leak (Part 1)</a>.
</li>
</references>
</qhelp>
</qhelp>

View File

@@ -87,7 +87,6 @@ predicate castShortArrayToLongerArray(
(arrTo.getLength() - arrFromSize) + " bytes)"
)
) and
arrTo.getLength() > 0 and //TODO
arrTo.getLength() > arrFromSize
)
}