Skip to content
Snippets Groups Projects
Commit d3b69a74 authored by Dominic Kempf's avatar Dominic Kempf
Browse files

[!344] Remove redundant range field template parameter from generated local operators

Merge branch 'feature/remove-rangefield-template-parameter' into 'master'

ref:extensions/dune-codegen In many places we treat this as codegen-time
information anyway. For loopy, this is the necessary way to go.

This fixes [#149].

See merge request [extensions/dune-codegen!344]

  [#149]: gitlab.dune-project.org/NoneNone/issues/149
  [extensions/dune-codegen!344]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/344


Closes #149
parents af86afdb 547d2260
No related branches found
No related tags found
No related merge requests found
Showing
with 33 additions and 41 deletions
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