fixes #13013, reverts previous changes to readLines() (#13036) [backport]

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

This reverts commit c949b81efd.
This commit is contained in:
cooldome 2020-01-05 08:22:41 +00:00 • committed by Andreas Rumpf
commit a3df1b55f3
3 changed files with 7 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 = staticReadLines(filename, 3)
const myfile_str_seq = readLines(filename, 3)
static:
doAssert myfile_str == mytext