From 7f2ff4373f619bfd8048e1f691d7e7c3e767ce21 Mon Sep 17 00:00:00 2001
From: Zyad Hassan <zyadh@amazon.com>
Date: Mon, 12 May 2025 23:29:06 -0700
Subject: [PATCH] Fix syntax errors in installation script

---
 src/install-kani.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/install-kani.sh b/src/install-kani.sh
index b271ec3..8b34f5f 100755
--- a/src/install-kani.sh
+++ b/src/install-kani.sh
@@ -24,15 +24,15 @@ cargo-kani setup;
 # Get the current installed version of kani and check it against the latest version
 installed_version=$(kani --version | awk '{print $2}')
 
-if [$? -eq 0]; then
+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
+    if [ "$installed_version" != "$requested_version" ]; then
         echo "::error::The version of Kani installed was different than the one requested"
         exit 1
     fi