issue#70
Houtan Bastani 2018-05-30 16:53:16 +02:00
parent 0aea4f0cc4
commit e532ed9bab
1 changed files with 1 additions and 1 deletions

View File

@ -814,7 +814,7 @@ SymbolTable::addUnaryOpAuxiliaryVar(int index, expr_t expr_arg, int orig_symb_id
ostringstream varname;
int symb_id;
varname << "AUX_UOP_IN_DIFF_" << index;
varname << "AUX_UOP_" << index;
try
{
symb_id = addSymbol(varname.str(), eEndogenous);