OPM/opm-autodiff — pull request #40 by bska (2013-10-03 14:32:54+00:00)
Title: Guard against null-pointer dereference.

This restores the check that was lost in commit 79562ca (PR #39).