Skip to content
Snippets Groups Projects

typo fix

Merged typo fix
patrick.jaap/dune-common:fix/typo into master
Merged Patrick Jaap requested to merge patrick.jaap/dune-common:fix/typo into master
Compare
and
1 file
+ 1
− 1
Compare changes
  • Side-by-side
  • Inline
dune/common/std/optional.hh
+ 1
− 1
@@ -10,7 +10,7 @@
#include <optional>
#warning dune/common/std/optional.hh is deprecated and will be removed after Dune 2.8.\
Inclead <optional> instead
Include <optional> instead
namespace Dune
{