OPM/opm-polymer — pull request #13 by atgeirr (2013-03-12 11:19:38+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.