]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Fix warning 8798/head
authorPeter Munch <peterrmuench@gmail.com>
Thu, 19 Sep 2019 07:44:43 +0000 (09:44 +0200)
committerPeter Munch <peterrmuench@gmail.com>
Thu, 19 Sep 2019 07:44:43 +0000 (09:44 +0200)
source/grid/grid_generator_from_name.cc

index 693b8c1ab2ad5f88cc70d29fd5ad30600ab0659f..55256c090fa959af28223d62653d0faba4a5e679 100644 (file)
@@ -90,7 +90,7 @@ namespace GridGenerator
                                      arguments,
                                      tria);
             }
-          catch (Patterns::Tools::ExcNoMatch)
+          catch (Patterns::Tools::ExcNoMatch &)
             {
               parse_and_create<dim,
                                dim,

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.