Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
[package] Workaround realpath failing with non-existing files
Fixes Deducteam#432 , introduced in Deducteam#289 This whole code needs more investigation as the logic seems quite strange, in particular I think the core of LP should not mess with filesystem low-level details, but hoping for a quick fix.
- Loading branch information