summaryrefslogtreecommitdiff
path: root/sid.ml
diff options
context:
space:
mode:
authorPhilipp Gesang <phg@phi-gamma.net>2018-12-11 23:22:59 +0100
committerPhilipp Gesang <phg@phi-gamma.net>2018-12-11 23:23:16 +0100
commit317bdf8f2b49be79ac63d55220217267c6048bc5 (patch)
treee4b59d453eeadd1bbbbd3265030ee9dd1c5b439f /sid.ml
parent346c0c91bce135215597111a0530dd7ab51b3f89 (diff)
downloadocaml-sid-317bdf8f2b49be79ac63d55220217267c6048bc5.tar.gz
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.
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