From d2978d7c37121fdc93ed8bb44cae01ec351d1f58 Mon Sep 17 00:00:00 2001
From: Daniil Baturin <daniil@baturin.org>
Date: Fri, 6 Oct 2023 16:59:16 +0100
Subject: numeric: T5638: Do not complain about range arguments in
 check_not_value when it's not necessary (i.e., when no actual --not-value
 options are given)

(cherry picked from commit ba5e5638c15914c0b1bb3d61942f64046b38efd6)
---
 src/numeric.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/numeric.ml b/src/numeric.ml
index a3c5d11..f27c1ee 100644
--- a/src/numeric.ml
+++ b/src/numeric.ml
@@ -146,6 +146,7 @@ let check_not_ranges opts m =
 
 let check_not_values opts m =
   let excluded_values = List.map (number_of_string opts) opts.not_values in
+  if excluded_values = [] then () else
   match m with
   | Range_float _ -> Printf.ksprintf failwith "--not-value cannot be used with ranges"
   | Number_float num ->
-- 
cgit v1.2.3