Fix failed build with Trilinos library caused by commit...
Fix failed build with Trilinos library caused by commit 715a10d6. It will solve issue #332 (closed).
Edited by Reinhard Resch
Fix failed build with Trilinos library caused by commit 715a10d6. It will solve issue #332 (closed).