Skip to content

Commit a0322c6

Browse files
committed
fmt
1 parent 4d223d2 commit a0322c6

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

infra/ci.rkt

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -75,7 +75,7 @@
7575
(pretty-print (alt-expr start-alt) (current-output-port) 1)
7676
(printf "\nOutput (~a bits):\n" (errors-score end-error))
7777
(pretty-print (alt-expr end-alt) (current-output-port) 1)
78-
78+
7979
(when target-error
8080
(printf "\nTarget (~a bits):\n" (errors-score target-error))
8181
;; internal tool so okay

0 commit comments

Comments
 (0)