Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Browse files
Browse the repository at this point in the history
* fix bug introduced by LocalSourceFile paths * Use get_path_or_uri from SourceFile. Co-authored-by: Johannes Köster <johannes.koester@tu-dortmund.de>
- Loading branch information