diff options
-rw-r--r-- | stdlib/scanf.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/stdlib/scanf.ml b/stdlib/scanf.ml index 7fabf64fd..45ae6b1a2 100644 --- a/stdlib/scanf.ml +++ b/stdlib/scanf.ml @@ -791,8 +791,7 @@ let scan_String max ib = | '\n', true | ' ', false -> skip_spaces false (Scanning.ignore_char ib max) - | '\\', false -> loop false max - | c, false -> loop false (Scanning.store_char ib c max) + | c, false -> loop false max | _, _ -> loop false (scan_backslash_char (max - 1) ib) in loop true max ;; |