From 08d689f898a2013433ed645eb1f0afb7438579b7 Mon Sep 17 00:00:00 2001
From: Benjamin DeMann <benjamin.demann@gmail.com>
Date: Mon, 23 Oct 2023 14:19:14 -0600
Subject: [PATCH] pr fixes

---
 property_tests/tests/float32/test/test.ts | 2 +-
 property_tests/tests/float64/test/test.ts | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/property_tests/tests/float32/test/test.ts b/property_tests/tests/float32/test/test.ts
index eebcf767f7..f0f7ac1420 100644
--- a/property_tests/tests/float32/test/test.ts
+++ b/property_tests/tests/float32/test/test.ts
@@ -26,7 +26,7 @@ const Float32TestArb = fc
 
         const paramsCorrectlyOrdered = paramNames
             .map((paramName, index) => {
-                let areFloat32sEqual = areFloatsEqual(
+                const areFloat32sEqual = areFloatsEqual(
                     paramName,
                     paramSamples[index]
                 );
diff --git a/property_tests/tests/float64/test/test.ts b/property_tests/tests/float64/test/test.ts
index 8e253b59a3..0a7d4af7e4 100644
--- a/property_tests/tests/float64/test/test.ts
+++ b/property_tests/tests/float64/test/test.ts
@@ -34,7 +34,7 @@ const Float64TestArb = fc
 
         const paramsCorrectlyOrdered = paramNames
             .map((paramName, index) => {
-                let areFloat64sEqual = areFloatsEqual(
+                const areFloat64sEqual = areFloatsEqual(
                     paramName,
                     paramSamples[index]
                 );