Fix verify-only-module in pass-through#21

rikosellic merged 1 commit intomainasterinas/rust-deductive-verifier:mainfrom

verify-only-moduleasterinas/rust-deductive-verifier:verify-only-moduleCopy head branch name to clipboard