Commit c6cb9aa1 authored by Sébastien Villemot's avatar Sébastien Villemot
Browse files

Fix bug in option notmpterms with model local variables

Since model local variables are now treated as temporary terms, they must be
marked as such even when option notmpterms is present.
parent fbeae961
Pipeline #58 passed with stage
in 1 minute and 17 seconds