Skip to content
Snippets Groups Projects
Commit 11404bc8 authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

[!124] Fix warning: variable 'errorflag' set but not used

Merge branch 'fix_warning_set_but_unused_errorflag' into 'master'

ref:staging/dune-uggrid

    I added the attribute "DUNE_UNUSED" to the variable "errorflag" to avoid the
     warning: "variable 'errorflag' set but not used".

See merge request [!124]

  [!124]: gitlab.dune-project.org/staging/dune-uggrid/merge_requests/124
parents 16a76098 77ef56ca
No related branches found
No related tags found
1 merge request!124Fix warning: variable 'errorflag' set but not used
Pipeline #17952 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment