mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-13 04:44:39 +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.