From 317bdf8f2b49be79ac63d55220217267c6048bc5 Mon Sep 17 00:00:00 2001 From: Philipp Gesang Date: Tue, 11 Dec 2018 23:22:59 +0100 Subject: sid.ml: rectify string used to derive constant Ugh, experiments show that MS will parse arbitrarily short hex encoded IAs which in turn revealed miscalculation in our sloppy parsing mode. --- sid.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'sid.ml') 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 -- cgit v1.2.3