Fix building with UG_ENABLE_DEBUGGING=ON (!86) · Merge requests · staging / dune-uggrid

Oliver Sander requested to merge fix-debug-build into master Dec 09, 2017

This merge request contains various small fixes required to build with UG_ENABLE_DEBUGGING=ON.

Edited Dec 11, 2017 by Oliver Sander

Fix building with UG_ENABLE_DEBUGGING=ON