aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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}"