add missing deps in tests/regressions/dune (fix #983)#1024

Merged

fblanqui merged 1 commit intoDeducteam:masterfrom fblanqui:dune

Nov 30, 2023

+2-1

Commits on Nov 30, 2023

add missing deps in tests/regressions/dune (fix Deducteam#983 )
fblanqui
committed