OPM/opm-core — pull request #694 by atgeirr (2014-12-02 08:17:56+00:00)
Title: Silence unused argument warning.

Fallout of #688.