OPM/opm-core — pull request #677 by andlaus (2014-11-06 13:29:42+00:00)
Title: adapt to the recent API changes of opm-parser

this fixes the build once OPM/opm-parser#339 has been merged.