fix dash

2 jobs for bugfix/32-dash-does-not-always-hit in 2 minutes and 49 seconds
Status Name Job ID Coverage
  Build
passed build-clang #8893

00:01:28

passed build-gcc #8892

00:01:21