diff options
-rw-r--r-- | ekdosis.dtx | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx index 7001eac..109b3d4 100644 --- a/ekdosis.dtx +++ b/ekdosis.dtx | |||
@@ -1016,9 +1016,9 @@ function ekdosis.appout() | |||
1016 | end | 1016 | end |
1017 | 1017 | ||
1018 | function ekdosis.testapparatus() | 1018 | function ekdosis.testapparatus() |
1019 | if pg_ii == pg_i then | 1019 | if math.tointeger(pg_ii) == math.tointeger(pg_i) then |
1020 | return "\\boolfalse{do@app}" | 1020 | return "\\boolfalse{do@app}" |
1021 | elseif pg_ii > pg_i then | 1021 | elseif math.tointeger(pg_ii) > math.tointeger(pg_i) then |
1022 | pg_i = pg_ii | 1022 | pg_i = pg_ii |
1023 | return "\\booltrue{do@app}" | 1023 | return "\\booltrue{do@app}" |
1024 | else | 1024 | else |