remove default argument for readLines (#12807) [backport]

This commit is contained in:
cooldome 2020-01-02 22:27:37 +00:00 • committed by Andreas Rumpf
commit c949b81efd
3 changed files with 5 additions and 5 deletions

View file

@ -13,7 +13,7 @@ static:
writeFile(filename, mytext)
const myfile_str = staticRead(filename)
const myfile_str2 = readFile(filename)
const myfile_str_seq = readLines(filename, 3)
const myfile_str_seq = staticReadLines(filename, 3)
static:
doAssert myfile_str == mytext