Guest User

Untitled

a guest
Feb 18th, 2019
89
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.55 KB | None | 0 0
  1. --- ocaml-4.02.1/otherlibs/num/nat.ml 2015-02-21 23:41:10.091740525 +0100
  2. +++ ocaml-ext/otherlibs/num/nat.ml 2015-02-21 23:54:56.203770275 +0100
  3. @@ -539,7 +539,7 @@
  4. | _ -> int := !int * base + base_digit_of_char c base;
  5. incr digits_read
  6. end;
  7. - if (!digits_read = pint || i = bound) && not (!digits_read = 0) then
  8. + if (!digits_read = pmax || i = bound) && not (!digits_read = 0) then
  9. begin
  10. set_digit_nat nat1 0 !int;
  11. let erase_len = if !new_len = !current_len then !current_len - 1
Add Comment
Please, Sign In to add comment