mirror of
https://github.com/Mercury-Language/mercury.git
synced 2026-04-16 09:53:36 +00:00
Estimated hours taken: 0.25 Branches: main scripts/ml.in: Fix a bug in Zoltan's previous change to add the mdbcomp library: mdbcomp was missing from the list of libraries to link with when when tracing and static linking are both enabled.