I have a project - DynSem2Coq - which extends and contributes to the DynSem parent project. The extension project does not provide syntax definitions.

The generated completion.str file contains an unresolved import to completion/dynsem2coq-cp.

Submitted by Vlad Vergu on 18 April 2017 at 09:41

Fixed in https://github.com/metaborg/spoofax/commit/4506d7597bc7151f693a7546e487b49d79d8beea. The completion file was generated despite SDF being turned off for the project.