search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

Improve error message when 'file not in a directory' (within a workspace) #6

Closed grantpassmore closed 6 years ago

grantpassmore commented 6 years ago

We can probably make this more clear:

image