Skip to content
Snippets Groups Projects
Commit f3e2a69a authored by Gergő Érdi's avatar Gergő Érdi Committed by Ben Gamari
Browse files

Add flag to `-f{no-}specialise-incoherents` to enable/disable specialisation...

Add flag to `-f{no-}specialise-incoherents` to enable/disable specialisation of incoherent instances

Fixes #23287

(cherry picked from commit 481f4a46)
parent 738c7935
No related branches found
No related tags found
Loading
Showing
with 205 additions and 187 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