* */
| 859 | * |
| 860 | */ |
| 861 | void |
| 862 | OutputFunctions(std::ostream &out) |
| 863 | { |
| 864 | outputln(out); |
| 865 | outputln(out); |
| 866 | output_comment_line(out, "--- FUNCTIONS ---"); |
| 867 | for_each(FuncList.begin(), FuncList.end(), |
| 868 | std::bind2nd(std::ptr_fun(OutputFunction), &out)); |
| 869 | } |
| 870 | |
| 871 | /* |
| 872 | * Delete a single function |