OPM/dune-cornerpoint — pull request #92 by akva2 (2014-06-13 09:59:01+00:00)
Title: fixed: building with dune > 2.3

- symbols were deprecated in 2.3 and removed in master
- a header changed location in what will become 3.0

@blattms your code i believe (nothing controversial but just in case..)