OPM/opm-core — pull request #99 by atgeirr (2012-11-15 08:31:31+00:00)
Title: Add missing header file to distribution.

So that 'make distcheck' works again.