aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2018-11-08 20:02:18 +0100
committerRobert Alessi <alessi@robertalessi.net>2018-11-08 20:02:18 +0100
commitcf0049e84bf9ac476cf67e965fcf97ed152b6026 (patch)
tree16e25cff9282db56d341463d275bc878e45b0d0f
parentbb6c3f74b7794ee3213e370cbf35dc8a1a7c3849 (diff)
downloadekdosis-cf0049e84bf9ac476cf67e965fcf97ed152b6026.tar.gz
testapparatus: reset pg_i if 'pg_ii > pg_i' succeeds
-rw-r--r--ekdosis.dtx1
1 files changed, 1 insertions, 0 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 165a9a6..523ae9c 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -537,6 +537,7 @@ ekdosis.testapparatus = function()
537 if pg_ii == pg_i then 537 if pg_ii == pg_i then
538 return "\\boolfalse{doapp}" 538 return "\\boolfalse{doapp}"
539 elseif pg_ii > pg_i then 539 elseif pg_ii > pg_i then
540 pg_i = pg_ii
540 return "\\booltrue{doapp}" 541 return "\\booltrue{doapp}"
541 else 542 else
542 return "\\boolfalse{doapp}" 543 return "\\boolfalse{doapp}"