]> Repositorios git - scryer-prolog.git/commitdiff
Merge pull request #639 from triska/flush_output
authorMark Thom <[email protected]>
Sat, 25 Jul 2020 16:20:45 +0000 (13:20 -0300)
committerGitHub <[email protected]>
Sat, 25 Jul 2020 16:20:45 +0000 (13:20 -0300)
ENHANCED: flush output for impure I/O (format/[2,3], portray_clause/1 etc.)


Trivial merge