From a91288a7142f3108722239a09165aba29f3d2508 Mon Sep 17 00:00:00 2001 From: Houtan Bastani Date: Tue, 19 May 2015 16:44:46 +0200 Subject: [PATCH] preprocessor: reindex varobs in symboltable --- preprocessor/SymbolTable.cc | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/preprocessor/SymbolTable.cc b/preprocessor/SymbolTable.cc index a9e6d1f5e..edce61db3 100644 --- a/preprocessor/SymbolTable.cc +++ b/preprocessor/SymbolTable.cc @@ -510,6 +510,14 @@ SymbolTable::rmExo(set &unused) throw (FrozenException) markPredetermined(getID(orig_name_table[*it])); else markPredetermined(*it); + + vector orig_varobs = varobs; + varobs.clear(); + for (vector::const_iterator it=orig_varobs.begin(); it != orig_varobs.end(); it++) + if (orig_name_table[*it] != getName(*it)) + addObservedVariable(getID(orig_name_table[*it])); + else + addObservedVariable(*it); } void