Skip to content

dk export: remove root_path prefixes in module names#1396

Merged
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:dkreq
Jun 9, 2026
Merged

dk export: remove root_path prefixes in module names#1396
fblanqui merged 2 commits into
Deducteam:masterfrom
fblanqui:dkreq

Conversation

@fblanqui

@fblanqui fblanqui commented Jun 8, 2026

Copy link
Copy Markdown
Member

fix #1386

@fblanqui fblanqui merged commit af4eb2f into Deducteam:master Jun 9, 2026
23 checks passed
@fblanqui fblanqui deleted the dkreq branch June 9, 2026 06:06
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Lambdapi DK export emits module references that do not match generated file names

1 participant