diff --git a/preprocessor/ModelTree.cc b/preprocessor/ModelTree.cc index 10fb02f7a0c1aa0b000df38015f734703047ccdc..21c2d509e3b5a7165eb297fa738e5775b9f532f3 100644 --- a/preprocessor/ModelTree.cc +++ b/preprocessor/ModelTree.cc @@ -1385,7 +1385,7 @@ ModelTree::writeLatexModelFile(const string &basename, ExprNodeOutputType output expr_t value = it->second; content_output << "\\begin{dmath*}" << endl - << symbol_table.getName(id) << " = "; + << symbol_table.getTeXName(id) << " = "; // Use an empty set for the temporary terms value->writeOutput(content_output, output_type); content_output << endl << "\\end{dmath*}" << endl;