diff options
| author | Robert Alessi <alessi@robertalessi.net> | 2018-11-08 20:02:18 +0100 |
|---|---|---|
| committer | Robert Alessi <alessi@robertalessi.net> | 2018-11-08 20:02:18 +0100 |
| commit | cf0049e84bf9ac476cf67e965fcf97ed152b6026 (patch) | |
| tree | 16e25cff9282db56d341463d275bc878e45b0d0f /ekdosis.dtx | |
| parent | bb6c3f74b7794ee3213e370cbf35dc8a1a7c3849 (diff) | |
| download | ekdosis-cf0049e84bf9ac476cf67e965fcf97ed152b6026.tar.gz | |
testapparatus: reset pg_i if 'pg_ii > pg_i' succeeds
Diffstat (limited to 'ekdosis.dtx')
| -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}" |