Formatting.

herbie-fp · Sep 30, 2024 · da7d8ae · da7d8ae
1 parent d3a144e
commit da7d8ae
Showing 1 changed file with 3 additions and 2 deletions.
diff --git 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]