Closed thomvil closed 2 years ago
Thanks for the bug report! Can you clarify:
cargo install
?Thank you for the response, and sorry for the lack of information
cargo install flowistry-ide
If you are manually installing Flowistry, you have to use the appropriate nightly compiler.
cargo +nightly-2022-02-17 install flowistry_ide
But note that the VScode extension should automatically do this for you.
thank you, i missed that part
Ok great! I will close this for now.
Seems to be a lot of missing imports