| 41 | } |
| 42 | |
| 43 | char* readline(const char* p) |
| 44 | { |
| 45 | std::string retval; |
| 46 | std::cout << p ; |
| 47 | std::getline(std::cin, retval); |
| 48 | return std::cin.eof() ? nullptr : mystrdup(retval.c_str()); |
| 49 | } |
| 50 | |
| 51 | |
| 52 | void add_history(const char* /*unused*/){} |
no test coverage detected