X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fflow-control.texi;h=868143b35a5a0ba8b73c5f628834f9b7a39cc87a;hb=2643958c80bcf6132a8f3be20bc59a845545a195;hp=f501c65ae7f0cc62431d145924770cdce9be6ec6;hpb=c54e462a57d5a53a7db97d064cde383eaaa30fe9;p=pspp-builds.git

diff --git a/doc/flow-control.texi b/doc/flow-control.texi
index f501c65a..868143b3 100644
--- a/doc/flow-control.texi
+++ b/doc/flow-control.texi
@@ -170,4 +170,3 @@ variable as the loop index.
 When @cmd{LOOP} or @cmd{END LOOP} is specified following @cmd{TEMPORARY}
 (@pxref{TEMPORARY}), the @cmd{LAG} function may not be used
 (@pxref{LAG}).
-@setfilename ignored