Commit 1b1314e0 authored by Carsten Gräser's avatar Carsten Gräser

[bugfix] Add missing header

This only showed up after reworking the reference elements.
But it's not a bug in dune-geometry, because this only
worked here by accident.
parent 294698cc
Pipeline #4168 passed with stage
in 23 minutes and 2 seconds
......@@ -5,6 +5,7 @@
#include <dune/geometry/referenceelements.hh>
#include <dune/typetree/traversal.hh>
#include <dune/typetree/visitor.hh>
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment