Unresolved import generated into completion.str
I have a project - DynSem2Coq - which extends and contributes to the DynSem parent project. The extension project does not provide syntax definitions.
The generatedSubmitted by Vlad Vergu on 18 April 2017 at 09:41
completion.strfile contains an unresolved import to
Fixed in https://github.com/metaborg/spoofax/commit/4506d7597bc7151f693a7546e487b49d79d8beea. The completion file was generated despite SDF being turned off for the project.
Log in to post comments