fix lint

phpstan · Apr 27, 2023 · 1b7e1a0 · 1b7e1a0
1 parent f8a11ec
commit 1b7e1a0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/src/Type/Constant/ConstantFloatType.php b/src/Type/Constant/ConstantFloatType.php
@@ -18,6 +18,7 @@
 use function ini_get;
 use function ini_set;
 use function is_finite;
+use function str_replace;
 use function strpos;
 use const PHP_FLOAT_EPSILON;