OPM/dune-cornerpoint — pull request #13 by atgeirr (2013-03-12 11:19:10+00:00)
Title: Adapt to changed include paths for some opm-core headers.

This PR should only be merged after the corresponding PR in opm-core is merged.