API enhancement

This commit is contained in:
Philippe Tillet
2015-01-20 11:17:42 -05:00
parent 4f73fb384f
commit e74563070a
6 changed files with 25 additions and 14 deletions

View File

@@ -26,7 +26,7 @@ inline std::string to_string(lhs_rhs_element const & e)
{
return"COMPOSITE [" + tools::to_string(e.node_index) + "]";
}
return tools::to_string(e.dtype);
return tools::to_string(e.subtype);
}
inline std::ostream & operator<<(std::ostream & os, symbolic_expression_node const & s_node)