Add missing build target dependency

Review Request #2268 — Created Feb. 24, 2023 and submitted — Latest diff uploaded

Information

hasl/hasl
default

Reviewers

Tests were failing to build since this header is not in the dependency tree and is not built before them.

Compiled from a clean directory; no more missing haslenums.h error.

Commits

Files