fix incompatibility with latest Grid #5

Merged
portelli merged 1 commits from simon.buerger/lattice-benchmarks:main into main 2023-12-20 15:06:42 +00:00
No Reviewers
No Label
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: portelli/lattice-benchmarks#5
No description provided.