Skip to content
Snippets Groups Projects
Verified Commit 3932196f authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Fix segfault of notmpterms option with block decomposition

By the way, ensure that temporary terms associated to external functions are
not removed, since they are not optional.

(manually cherry picked from commit 83635156)
parent 2f59db92
Branches
No related tags found
No related merge requests found
Pipeline #7666 passed
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment