Commit 71fe515e authored by Carsten Gräser's avatar Carsten Gräser

Remove include of unused header

parent 0b00518d
......@@ -5,7 +5,6 @@
#include <dune/common/fvector.hh>
#include <dune/common/bitsetvector.hh>
#include <dune/common/function.hh>
#include <dune/localfunctions/common/virtualinterface.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