Remove double quotes

Author: zhassan-aws

src/install-kani.sh

@@ -27,12 +27,14 @@ installed_version=$(kani --version | awk '{print $2}')
 if [ $? -eq 0 ]; then
     if [ "$1" == "latest" ]; then
         # Cargo search returns version number as string
-        requested_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}')
+        requested_version=$(cargo search kani-verifier | grep -m 1 "^kani-verifier " | awk '{print $3}' | tr -d '"')
     else
         requested_version=$1
     fi
 
     if [ "$installed_version" != "$requested_version" ]; then
+        echo "Installed version: $installed_version"
+        echo "Requested version: $requested_version
         echo "::error::The version of Kani installed was different than the one requested"
         exit 1
     fi