Typo fdlibm

broughjt · broughjt · commit 87161b247ff9 · 2024-10-15T12:14:27.000-06:00
diff --git a/infra/platforms-eval.sh b/infra/platforms-eval.sh
@@ -61,7 +61,7 @@ function run() {
     $bench \
     "$OUTDIR/platforms" \
     $num_runs
-  raco pkg remove --force --no-docs avx-herbie fdlimb-herbie vdt-herbie
+  raco pkg remove --force --no-docs avx-herbie fdlibm-herbie vdt-herbie
 
   set -e
 }

Original file line number	Diff line number	Diff line change
`@@ -61,7 +61,7 @@ function run() {`
`61`	`61`	`$bench \`
`62`	`62`	`"$OUTDIR/platforms" \`
`63`	`63`	`$num_runs`
`64`		`- raco pkg remove --force --no-docs avx-herbie fdlimb-herbie vdt-herbie`
	`64`	`+ raco pkg remove --force --no-docs avx-herbie fdlibm-herbie vdt-herbie`
`65`	`65`
`66`	`66`	`set -e`
`67`	`67`	`}`