Skip to content
Snippets Groups Projects
Verified Commit 83635156 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.
parent 2a8e2631
No related branches found
No related tags found
Loading
Checking pipeline status
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment