diff options
-rw-r--r-- | ekdosis.dtx | 1 |
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}" |