fix write_strings breakage
This commit is contained in:
parent
1b399e3433
commit
e783a03610
@ -363,6 +363,7 @@ putString(Term string, wrf writewch) /* writes a string */
|
|||||||
while (string != TermNil) {
|
while (string != TermNil) {
|
||||||
int ch = IntOfTerm(HeadOfTerm(string));
|
int ch = IntOfTerm(HeadOfTerm(string));
|
||||||
write_quoted(ch, '"', writewch);
|
write_quoted(ch, '"', writewch);
|
||||||
|
string = TailOfTerm(string);
|
||||||
}
|
}
|
||||||
wrputc('"', writewch);
|
wrputc('"', writewch);
|
||||||
lastw = alphanum;
|
lastw = alphanum;
|
||||||
|
Reference in New Issue
Block a user