. ../../../testutils.sh

check DefaulthintWithDep.idr
