diff options
Diffstat (limited to 'src/numeric.ml')
| -rw-r--r-- | src/numeric.ml | 1 |
1 files changed, 1 insertions, 0 deletions
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 -> |