diff options
Diffstat (limited to 'graphics/asymptote/runlabel.cc')
-rw-r--r-- | graphics/asymptote/runlabel.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/graphics/asymptote/runlabel.cc b/graphics/asymptote/runlabel.cc index 6605bc1b84..fc55f079bc 100644 --- a/graphics/asymptote/runlabel.cc +++ b/graphics/asymptote/runlabel.cc @@ -475,7 +475,7 @@ void gen_runlabel4(stack *Stack) gs.block(false,false); // TODO: Simplify by connecting the pipes directly. - while(true) { + for(;;) { string out; if(typesetter.isopen()) { typesetter >> out; |