Changeset 12363 in josm

Timestamp:

2017-06-09T19:49:17+02:00 (7 years ago)

Author:

michael2402

Message:

PushbackTokenizer: Range is in long, so use Long.MAX_VALUE instead of Integer.MAX_VALUE

File:

• trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java (modified) (1 diff)

trunk/src/org/openstreetmap/josm/actions/search/PushbackTokenizer.java

@@ -333 +333 @@
             }
         } else if (isRange && currentRange == null) {
-            return new Range(currentNumber, Integer.MAX_VALUE);
+            return new Range(currentNumber, Long.MAX_VALUE);
         } else if (currentNumber != null && currentRange != null) {
             return new Range(currentNumber, currentRange);