From da7d8ae8c575d655a871883d59206fcfd7fe753f Mon Sep 17 00:00:00 2001 From: zane <39070793+zaneenders@users.noreply.github.com> Date: Mon, 30 Sep 2024 13:12:36 -0600 Subject: [PATCH] Formatting. --- src/core/localize.rkt | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/src/core/localize.rkt b/src/core/localize.rkt index 1180519fa..76a158d2b 100644 --- a/src/core/localize.rkt +++ b/src/core/localize.rkt @@ -1,6 +1,6 @@ #lang racket -(require math/bigfloat +(require math/bigfloat rival) (require "../syntax/sugar.rkt" "../syntax/syntax.rkt" @@ -170,7 +170,8 @@ [exact (in-vector exacts)] [actual (in-vector actuals)] [expr-idx (in-naturals)]) - (define diff (vector-ref (rival-apply diffMachine (list->vector `(,(bf exact) ,(bf actual)))) 0)) + (define diff + (vector-ref (rival-apply diffMachine (list->vector `(,(bf exact) ,(bf actual)))) 0)) (define err (match (vector-ref nodes root) [(? literal?) 1]