Rename default_eps_count

Desbordante · Oct 27, 2023 · 5f8218a · 5f8218a
1 parent 9c87f82
commit 5f8218a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/src/core/model/types/double_type.h b/src/core/model/types/double_type.h
@@ -12,10 +12,10 @@ class DoubleType final : public NumericType<Double> {
 public:
     DoubleType() noexcept : NumericType<Double>(TypeId::kDouble) {}
 
-    static const unsigned int default_eps_count = 5;
+    static const unsigned int kDefaultEpsCount = 5;
 
     CompareResult Compare(std::byte const* l, std::byte const* r) const final {
-        return CompareEPS(l, r, default_eps_count);
+        return CompareEPS(l, r, kDefaultEpsCount);
     }
 
     CompareResult CompareEPS(std::byte const* l, std::byte const* r, unsigned int eps_count) const {