Add missing header

2 jobs for feature/avoid-nonlinearity in 5 minutes and 2 seconds (queued for 1 second)
latest
Status Name Job ID Coverage
  Test
passed dune:git clang C++17 #110458

00:03:13

passed dune:git gcc-8 C++17 #110459

00:05:02