chore: remove unused variables warning showing up in build#749

ejgallego wants to merge 1 commit intoleanprover:mainleanprover/verso:mainfrom

ejgallego:remove_warnsejgallego/verso:remove_warnsCopy head branch name to clipboard