--------------------------------------------------------------
| 739 | |
| 740 | // -------------------------------------------------------------- |
| 741 | void |
| 742 | Variable::OutputForComment(std::ostream &out) const |
| 743 | { |
| 744 | out << get_actual_name(); |
| 745 | } |
| 746 | |
| 747 | // -------------------------------------------------------------- |
| 748 | void |