From 87c2ac3cafdc47672806d73db32e4df71eb54fd0 Mon Sep 17 00:00:00 2001
From: Slavomir <gagliardetto@users.noreply.github.com>
Date: Wed, 1 Jul 2020 12:11:41 +0300
Subject: [PATCH] Remove deprecated; plus aesthetic fix

---
 ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp | 2 +-
 ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql    | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp
index 2242f89ea46..afe4e52de95 100644
--- a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp
+++ b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.qhelp
@@ -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>
\ No newline at end of file
+</qhelp>
diff --git a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql
index fc27216167f..9fd294f8b12 100644
--- a/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql
+++ b/ql/src/experimental/Unsafe/WrongUsageOfUnsafe.ql
@@ -87,7 +87,6 @@ predicate castShortArrayToLongerArray(
             (arrTo.getLength() - arrFromSize) + " bytes)"
       )
     ) and
-    arrTo.getLength() > 0 and //TODO
     arrTo.getLength() > arrFromSize
   )
 }