From 5d9aaeef75d80abdeb1a7e5445934e48f94259e7 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 --- SymbolTable.cc | 8 ++++++++ 1 file changed, 8 insertions(+) diff --git a/SymbolTable.cc b/SymbolTable.cc index a9e6d1f5..edce61db 100644 --- a/SymbolTable.cc +++ b/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