Closed GitPaean closed 7 years ago
to fix the compilation when PETsc exists.
This fixes the issue #1166.
jenkins build this please
Can this go in? It can make the updating opm-core easier. Thanks.
Sure! Sorry I forgot to merge it...
to fix the compilation when PETsc exists.
This fixes the issue #1166.