Skip to content
Snippets Groups Projects
Verified Commit 2763037e authored by Marcus Mohr's avatar Marcus Mohr
Browse files

Annote a call to local_dofs to avoid problem with type checker

See issue #41 for details.
parent f92e983f
Branches
Pipeline #70744 failed with stages
in 21 minutes and 24 seconds
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment