fmt

herbie-fp · Aug 29, 2024 · 0b259f2 · 0b259f2
1 parent 1756e4c
commit 0b259f2
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/core/egg-herbie.rkt b/src/core/egg-herbie.rkt
@@ -1165,7 +1165,8 @@
       (define-values (egg-graph* iteration-data) (egraph-run-rules egg-graph egg-rules params))
 
       ; get cost statistics
-      (for ([iter (in-list iteration-data)] [i (in-naturals)])
+      (for ([iter (in-list iteration-data)]
+            [i (in-naturals)])
         (define cnt (iteration-data-num-nodes iter))
         (define cost (apply + (map (λ (id) (egraph-get-cost egg-graph* id i)) root-ids)))
         (timeline-push! 'egraph i cnt cost (iteration-data-time iter)))