From a52311f99613ab2bfb0152fba081a92cefddf3b5 Mon Sep 17 00:00:00 2001 From: Taylor R Campbell Date: Thu, 25 Oct 2018 05:16:50 +0000 Subject: [PATCH] Omit stray sentence terminator. --- src/runtime/arith.scm | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/runtime/arith.scm b/src/runtime/arith.scm index a061722a5..311fd583e 100644 --- a/src/runtime/arith.scm +++ b/src/runtime/arith.scm @@ -2208,7 +2208,7 @@ USA. ;; have |log(p/(1 - p))| > 1. Hence this error is bounded by ;; ;; |d2 + (1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))| - ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))|. + ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))/log(p/(1 - p))| ;; <= |d2| + |(1 + d2) log((1 + d0)/(1 + d1))| ;; <= |d2| + 4|(1 + d2) (d0 - d1)|, by Lemma 3, ;; <= |d2| + 4|d0 - d1 + d2 d0 - d1 d0| -- 2.25.1