From e532ed9bab10608e090e4ef8a3bedb004ad79681 Mon Sep 17 00:00:00 2001 From: Houtan Bastani Date: Wed, 30 May 2018 16:53:16 +0200 Subject: [PATCH] fix typo --- src/SymbolTable.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/SymbolTable.cc b/src/SymbolTable.cc index 79ebe86c..17cf1437 100644 --- a/src/SymbolTable.cc +++ b/src/SymbolTable.cc @@ -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);