diff --git a/elfloader-tool/src/common.c b/elfloader-tool/src/common.c
index c3fa882b..9846422f 100644
--- a/elfloader-tool/src/common.c
+++ b/elfloader-tool/src/common.c
@@ -555,7 +555,7 @@ int load_images(
          * success and anything else is an error.
          */
         uint64_t min_vaddr, max_vaddr;
-        int ret = elf_getMemoryBounds(user_elf, 0, &min_vaddr, &max_vaddr);
+        ret = elf_getMemoryBounds(user_elf, 0, &min_vaddr, &max_vaddr);
         if (ret != 1) {
             printf("ERROR: Could not get image bounds\n");
             return -1;