summaryrefslogtreecommitdiff
path: root/sid.ml
diff options
context:
space:
mode:
Diffstat (limited to 'sid.ml')
-rw-r--r--sid.ml2
1 files changed, 1 insertions, 1 deletions
diff --git a/sid.ml b/sid.ml
index 0bcba50..df17c0a 100644
--- a/sid.ml
+++ b/sid.ml
@@ -248,7 +248,7 @@ module MkStringFmt (Con : Conformance) = struct
(* Below constant determines the lowest length at which it is sensible
to test for the “-0x…” component that indicates a hex encoded ia. We
require at least one hex digit to allow non-conformant parsing modes. *)
- let min_hexlen = String.length "S-1-0xf"
+ let min_hexlen = String.length "0xf"
let read_ident_auth s p =
let r = String.length s - p in