Hotfix for a warning that was somehow missed (#1781) #6779

Job	Run time
Build & test (hydra-plutus)	2m 17s
Build & test (hydra-tui)	4m 5s
Build & test (hydra-node)	7m 36s
Benchmarks (hydra-node, tx-cost, --output-directory $(pwd)/../benchmarks)	2m 52s
Build specification using nix	2m 13s
Benchmarks (hydra-node, micro, -o $(pwd)/../benchmarks/ledger-bench.html)	2m 17s
Benchmarks (hydra-cluster, bench-e2e, datasets datasets/1-node.json datasets/3-nodes.json --outpu...	4m 41s
Build & test (hydra-tx)	2m 42s
Build haddock using nix	1m 48s
Build & test (hydra-cluster)	12m 21s
nix flake check	5m 33s
Compute cost differences	0s
Publish benchmark results	0s
Documentation	3m 47s
Publish test results	13s
	52m 25s

Provide feedback