** Retrieve a single line of input text. ** ** zPrior is a string of prior text retrieved. If not the empty ** string, then issue a continuation prompt. */
| 1253 | ** string, then issue a continuation prompt. |
| 1254 | */ |
| 1255 | static char *one_input_line(FILE *in){ |
| 1256 | if( in!=0 ){ |
| 1257 | return local_getline(0, in); |
| 1258 | } |
| 1259 | // |
| 1260 | assert(false); |
| 1261 | exit(0); |
| 1262 | // |
| 1263 | return NULL; |
| 1264 | } |
| 1265 | |
| 1266 | |
| 1267 | /* |
no test coverage detected