Skip to content
Snippets Groups Projects
Commit b8efaf4e authored by Niklas Haas's avatar Niklas Haas
Browse files

Filter family instances of hidden types 

Currently, this check does not extend to hidden right hand sides,
although it probably should hide them in that case.
parent 72f655f5
No related merge requests found
Hide whitespace changes
Inline Side-by-side
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