pr fixes

demergent-labs · Oct 23, 2023 · 08d689f · 08d689f
1 parent 7f9b587
commit 08d689f
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git 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
@@ -34,7 +34,7 @@ const Float64TestArb = fc
 
         const paramsCorrectlyOrdered = paramNames
             .map((paramName, index) => {
-                let areFloat64sEqual = areFloatsEqual(
+                const areFloat64sEqual = areFloatsEqual(
                     paramName,
                     paramSamples[index]
                 );