diff --git a/preprocessor/ComputingTasks.cc b/preprocessor/ComputingTasks.cc index f3c44cf86263a521dd230a5639ad168d777af961..9fe32b21cf7766d0f9d2f0f17597329eb5ea2739 100644 --- a/preprocessor/ComputingTasks.cc +++ b/preprocessor/ComputingTasks.cc @@ -1092,9 +1092,9 @@ FilterInitialStateStatement::writeOutput(ostream &output, const string &basename output << "M_.filter_initial_state{" << symbol_table.getTypeSpecificID(symb_id) + 1 - << "} = {'" << symbol_table.getName(symb_id) << "', "; + << "} = {'" << symbol_table.getName(symb_id) << "', '"; it->second->writeOutput(output); - output << "};" << endl; + output << "'};" << endl; } }