Remove whitespace

Author: zhassan-aws

src/install-kani.sh

@@ -29,12 +29,7 @@ installed_version=$(kani --version | awk '{print $2}')
 if [ $? -eq 0 ]; then
     if [ "$1" == "latest" ]; then
         # Cargo search returns version number as string
-        a1=$(cargo search kani-verifier)
-        a2=$(echo $a1 | grep -m 1 "^kani-verifier ")
-        a3=$(echo $a2 | awk '{print $3}')
-        a4=$(echo $a3 | tr -d '"')
-        requested_version=$a4
-        #requested_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}' | tr -d '"')
+        requested_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier" | awk '{print $3}' | tr -d '"')
     else
         requested_version=$1
     fi