Fix preprocessor crash when a [static] equation contains a “var_expectation” operator

Rather error out with a meaningful message.
var-models
Sébastien Villemot 2021-07-21 14:26:38 +02:00
parent ebd9954d33
commit b16ab9b247
No known key found for this signature in database
GPG Key ID: 2CECE9350ECEBE4A
1 changed files with 1 additions and 2 deletions

View File

@ -8258,8 +8258,7 @@ VarExpectationNode::removeTrendLeadLag(const map<int, expr_t> &trend_symbols_map
bool
VarExpectationNode::isInStaticForm() const
{
cerr << "VarExpectationNode::isInStaticForm not implemented." << endl;
exit(EXIT_FAILURE);
return false;
}
bool