diff --git a/collects/tests/racket/benchmarks/shootout/typed/nbody-generic.rktl b/collects/tests/racket/benchmarks/shootout/typed/nbody-generic.rktl index f00fd9504a..0352b6c24d 100644 --- a/collects/tests/racket/benchmarks/shootout/typed/nbody-generic.rktl +++ b/collects/tests/racket/benchmarks/shootout/typed/nbody-generic.rktl @@ -131,7 +131,7 @@ Correct output N = 1000 is [dy (- o1y (body-y i1))] [dz (- o1z (body-z i1))] [dist2 (+ (* dx dx) (* dy dy) (* dz dz))] - [mag (assert (/ +dt+ (* dist2 (sqrt dist2))) inexact-real?)] + [mag (/ +dt+ (* dist2 (assert (sqrt dist2) inexact-real?)))] [dxmag (* dx mag)] [dymag (* dy mag)] [dzmag (* dz mag)] diff --git a/collects/tests/racket/benchmarks/shootout/typed/nbody-vec-generic.rktl b/collects/tests/racket/benchmarks/shootout/typed/nbody-vec-generic.rktl index 605e421b0d..240584fe1d 100644 --- a/collects/tests/racket/benchmarks/shootout/typed/nbody-vec-generic.rktl +++ b/collects/tests/racket/benchmarks/shootout/typed/nbody-vec-generic.rktl @@ -141,7 +141,7 @@ Correct output N = 1000 is [dy (- o1y (body-y i1))] [dz (- o1z (body-z i1))] [dist2 (+ (* dx dx) (* dy dy) (* dz dz))] - [mag (assert (/ +dt+ (* dist2 (sqrt dist2))) inexact-real?)] + [mag (/ +dt+ (* dist2 (assert (sqrt dist2) inexact-real?)))] [dxmag (* dx mag)] [dymag (* dy mag)] [dzmag (* dz mag)]