Fix vehicle flag, it's --solver instead of --verifier - #35

Fix vehicle flag, it's --solver instead of --verifier#35

MatthewDaggitt merged 2 commits into

pagesvehicle-lang/tutorial:pagesfrom

pages_fix_vehicle--solvervehicle-lang/tutorial:pages_fix_vehicle--solverCopy head branch name to clipboard