aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorRobert Alessi <alessi@robertalessi.net>2019-04-07 21:44:24 +0200
committerRobert Alessi <alessi@robertalessi.net>2019-04-07 21:44:24 +0200
commit20ece9474b43cfdd344add43723fc9651c4ca3e5 (patch)
tree6bedf4dd2dc4c07a7a3933540a38051a7622c2e5
parentb9c457175f6ba4ba0641a62c1ac4422c3f39cba9 (diff)
downloadekdosis-20ece9474b43cfdd344add43723fc9651c4ca3e5.tar.gz
[b9c4571] use tonumber() for now
-rw-r--r--ekdosis.dtx4
1 files changed, 2 insertions, 2 deletions
diff --git a/ekdosis.dtx b/ekdosis.dtx
index 109b3d4..af96445 100644
--- a/ekdosis.dtx
+++ b/ekdosis.dtx
@@ -1016,9 +1016,9 @@ function ekdosis.appout()
1016end 1016end
1017 1017
1018function ekdosis.testapparatus() 1018function ekdosis.testapparatus()
1019 if math.tointeger(pg_ii) == math.tointeger(pg_i) then 1019 if tonumber(pg_ii) == tonumber(pg_i) then
1020 return "\\boolfalse{do@app}" 1020 return "\\boolfalse{do@app}"
1021 elseif math.tointeger(pg_ii) > math.tointeger(pg_i) then 1021 elseif tonumber(pg_ii) > tonumber(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