Commit 9bbb8ba1 authored by Steffen Müthing's avatar Steffen Müthing

[!54] [bugfix] Add childextraction.hh include to traversal.hh

Merge branch 'bugfix/add-childextraction-include' into 'master'

ref:staging/dune-typetree Thanks to Simon Praetorius for pointing out the
issue. This is a fixup of [!53].

See merge request [!54]

  [!53]: gitlab.dune-project.org/NoneNone/merge_requests/53
  [!54]: gitlab.dune-project.org/staging/dune-typetree/merge_requests/54
parents ab2a447f da06f92e
Pipeline #17424 passed with stage
in 7 minutes and 45 seconds