Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- --- ocaml-4.02.1/otherlibs/num/nat.ml 2015-02-21 23:41:10.091740525 +0100
- +++ ocaml-ext/otherlibs/num/nat.ml 2015-02-21 23:54:56.203770275 +0100
- @@ -539,7 +539,7 @@
- | _ -> int := !int * base + base_digit_of_char c base;
- incr digits_read
- end;
- - if (!digits_read = pint || i = bound) && not (!digits_read = 0) then
- + if (!digits_read = pmax || i = bound) && not (!digits_read = 0) then
- begin
- set_digit_nat nat1 0 !int;
- let erase_len = if !new_len = !current_len then !current_len - 1
Add Comment
Please, Sign In to add comment