Commit 90c90ca8 authored by Houtan Bastani's avatar Houtan Bastani
Browse files

pac: undiff: fix bug in erroneous conditional

parent ad19c535
......@@ -3506,9 +3506,9 @@ DynamicModel::getUndiffLHSForPac(vector<int> &lhs, vector<expr_t> &lhs_expr_t, v
exit(EXIT_FAILURE);
}
if (diff.at(eqnumber[i]) != true)
if (diff.at(i) != true)
{
cerr << "ERROR: the variable on the LHS of equation #" << eqn << " (VAR equation #" << eqnumber[i]
cerr << "ERROR: the variable on the LHS of equation #" << eqn << " (VAR equation #" << i
<< " with equation tag '" << eqtag
<< "') does not have the diff operator applied to it yet you are trying to undiff it." << endl;
exit(EXIT_FAILURE);
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment