Unverified Commit ed9b2deb authored by Nadim Kobeissi's avatar Nadim Kobeissi 💾
Browse files

Remove unnecessary message

parent c76b48ef
Pipeline #155 passed with stage
in 28 seconds
......@@ -22,8 +22,6 @@ export function configDeterminePath() {
const localInstall = configGetPath();
if (fs.existsSync(localInstall)) {
pathToVerifpal = localInstall;
} else {
vscode.window.showInformationMessage("Verifpal: Specify Verifpal's location in your user config using verifpal.path.");
return pathToVerifpal;
\ No newline at end of file
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment